
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: