Foundations of algebraic specification and formal software development

Bibliographic Details
Main Author: Sannella, Donald, 1956-
Other Authors: Tarlecki, Andrzej
Language:English
Published: New York: Springer, c2012.
Series:Monographs in theoretical computer science
Subjects:

Tembila General Collection

Holdings details from Tembila General Collection
Call Number: QA76 9 M35 S26 2012
Accession Item Category Format Status Notes
1000152699 Open Shelf (30 days) Book Available