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

Saved in:
Bibliographic Details
Other Authors: Bowen, Jonathan P. (Editor)
Format: Book
Language:English
Published: Berlin : Springer, 2000
Series:Lecture notes in computer science ; 1878
ISSN:0302-9743
ISBN:3-540-67944-8
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
Status Sublibrary Description Location LCC Callnumber Old Callnumber
Open stacks; for loan  Place a Hold NTK collection 6th floor, shelf 6D/012 QA76 .73 .B155 Z3 2000 A 36048