Title:
Foundations of Algebraic Specification and Formal Software Development
Author:
Sannella, Donald. author.
ISBN:
9783642173363
Physical Description:
XVI, 581p. online resource.
Series:
Monographs in Theoretical Computer Science. An EATCS Series,
Series Title:
Monographs in Theoretical Computer Science. An EATCS Series, 1431-2654
Added Author:
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-17336-3Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 193572-2001 | ONLINE | Searching... | Searching... |