![Cover image for Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday Cover image for Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Author:
Abrial, Jean-Raymond. editor.
ISBN:
9783642114472
Physical Description:
XVI, 235p. 43 illus. online resource.
Series:
Lecture Notes in Computer Science, 5115
Series Title:
Lecture Notes in Computer Science, 0302-9743 ; 5115
Added Author:
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-11447-2Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 191688-2001 | ONLINE | Searching... | Searching... |