ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings / Helen Treharne [and others] (eds.).
Author/creator | International Conference of B and Z Users 2005 : Guildford, England) |
Other author/creator | Treharne, Helen. |
Format | Electronic, Book, and Print |
Publication Info | Berlin ; [London] : Springer, 2005. |
Description | xiii, 545 pages : illustrations ; 24 cm. |
Supplemental Content | Restricted to SpringerLink subscribers |
Subject(s) |
Click here for more information about this title
Series | Lecture notes in computer science ; 3455, 3402-9743 ; Lecture notes in computer science 3455. ^A466336 |
General note | Conference proceedings. |
Bibliography note | Includes bibliographical references and index. |
Other forms | Also issued online. |
ISBN | 3540255591 (pbk.) |
ISBN | 9783540255598 |
Available Items
Library | Location | Call Number | Status | Item Actions | |
Joyner | General Stacks | QA76.73.B155 I58 2005 | ✔ Available | Place Hold |