PROGRAM DEVELOPMENT BY SPECIFICATION AND TRANSFORMATION
By: Hoffmann, Berthold.
Contributor(s): Krieg-Bruckner, Bernd.
Material type:
BookSeries: Lecture Notes In Computer Science V.680. Publisher: Berlin Springer-Verlag c1993Description: xiv,623.ISBN: 354056733X.Subject(s): Computer Programs | Programming Languages (Electronic Computers)DDC classification: 001.64 | L497 Online resources: Click here to access online
| Item type | Current location | Collection | Call number | url | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
Lect. Notes Comp. Sc. (Avl.Online)
|
PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 001.64 L497 (Browse shelf) | Book Request | v.680 | Not for loan | A116682 |
Total holds: 0
Includes Bibliographical References
There are no comments for this item.