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...
Saved in:
| Other Authors: | , , , |
|---|---|
| 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
| Call Number: |
A1234.567 |
|---|---|
| Copy 1 | Available |