Research Catalog
ZB 2002 : formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings
- Title
- ZB 2002 : formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings / Didier Bert ... [et al.] (eds.)
- Author
- International Conference of B and Z Users (2nd : 2002 : Grenoble, France)
- Publication
- Berlin ; New York : Springer, c2002.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 02-534 | Offsite |
Details
- Additional Authors
- Bert, Didier.
- Description
- xii, 534 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 2272
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- Additional Formats (note)
- Also available via the Internet.
- Call Number
- JSE 02-534
- ISBN
- 3540431667
- OCLC
- 50581638
- 48977928
- Conference
- International Conference of B and Z Users (2nd : 2002 : Grenoble, France)
- Title
- ZB 2002 : formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings / Didier Bert ... [et al.] (eds.)
- Imprint
- Berlin ; New York : Springer, c2002.
- Series
- Lecture notes in computer science, 0302-9743 ; 2272
- Bibliography
- Includes bibliographical references and index.
- Additional Formats
- Also available via the Internet.
- Added Author
- Bert, Didier.
- Research Call Number
- JSE 02-534