ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings /

Bibliographic Details
Corporate Author: International Conference of B and Z Users York, England
Other Authors: Bowen, J. P. (Jonathan Peter), 1956-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [2000]
Series:Lecture notes in computer science ; 1878.
Subjects:

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.73.B155 I58 2000
 
Call Number Status Get It
QA76.73.B155 I58 2000 Available