My Library

University LibraryCatalogue

For faster,
simpler
access.
Use Lean
Library.
Get it now
Don't show me again
     
Limit search to items available for borrowing or consultation
Save Marked Record Save All Records Save Marked to My Lists
TITLES (1-3 of 3)
Lecture notes in computer science ; 1878.
1
Cover Art
    PRINTED BOOKS 2000

"Lecture notes in computer science ; 1878." » ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 28-September 2, 2000 : proceedings / Jonathan P. Bowen ... [and others] (eds.)

    International Conference of B and Z Users (1st :, : 2000 : York, England)
Berlin ; New York : Springer,        xiv, 510 pages : illustrations ; 23 cm. 2000
2
Cover Art
    E-RESOURCE 2000

"Lecture notes in computer science ; 1878." » 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.).

    International Conference of B and Z Users (1st : 2000 : York, England)
Berlin ; New York : Springer,        xiv, 510 pages : illustrations ; 23 cm. 2000
3
Cover Art
    E-RESOURCE 2000

"Lecture notes in computer science ; 1878." » 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.).

    International Conference of B and Z Users (1st : 2000 : York, England)
Berlin ; New York : Springer,        1 online resource (xiv, 510 pages) : illustrations. 2000
Save Marked Record Save All Records
Locate in results
 
Can't find that book? Try BONUS+

Search Discovery

Search CARM Centre Catalogue

Search Trove