ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings /

These proceedings record the papers presented at the third International Conference of B and Z Users (ZB 2003), held in the city of Turku in the south of Finland. This con- rence builds on the success of the ?rst and second conferences in this series, ZB 2000, held at the University ofYork in the UK...

Full description

Saved in:
Bibliographic Details
Other Authors: Bert, Didier, (Editor), Waldén, Marina, (Editor), King, Steve, (Editor), Bowen, Jonathan P., (Editor)
Format: Book
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.
Series:Lecture Notes in Computer Science ; 2651.
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!

3rd Floor Main Library

Holdings details from 3rd Floor Main Library
Call Number: A1234.567
Copy 1 Available