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 / Jonathan P. Bowen [and others] (eds.).
| Author/creator | International Conference of B and Z Users 2000 : York, England) |
| Other author/creator | Bowen, J. P. (Jonathan Peter), 1956- |
| Format | Book and Print |
| Publication Info | Berlin ; New York : Springer, ©2000. |
| Description | xiv, 510 pages : illustrations ; 23 cm. |
| Subject(s) |
Click here for more information about this title
| Series | Lecture notes in computer science ; 1878 Lecture notes in computer science 1878. ^A466336 |
| Bibliography note | Includes bibliographical references and index. |
| LCCN | 00063587 |
| ISBN | 3540679448 (softcover : alk. paper) |
Available Items
| Library | Location | Call Number | Status | Item Actions | |
| Joyner | General Stacks | QA76.73.B155 I58 2000 | ✔ Available | Place Hold |