Research Catalog
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 / Didier Bert ... [et al.] (eds.)
- Title
- 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 / Didier Bert ... [et al.] (eds.)
- Author
- International Conference of B and Z Users (3rd : 2003 : Turku, Finland)
Items in the Library & Off-site
Filter by
2 Items
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Use in library | QA76.73.B155 I58 2003 | Off-site | |
Not available - Please for assistance. | Text | Use in library | Off-site |
Details
- Additional Authors
- Bert, Didier.
- Description
- xiii, 545 p. : ill. ;c24 cm.
- Series Statement
- Lecture notes in computer science ; 2651
- Alternative Title
- ZB 2003
- Subject
- ISBN
- 3540402535 (softcover : alk. paper)
- LCCN
- 2003052988
- Owning Institutions
- Columbia University Libraries