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 |