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
AUTHORS (1-4 of 4)
Dwyer, Matthew, 1963-
3
Cover Art
    PRINTED BOOKS 2001

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings / Matthew Dwyer (ed.)

    International SPIN Workshop (8th :, : 2001 : Toronto, Ont.)
New York : Springer,        pages cm. 2001
4
Cover Art
    E-RESOURCE 2001

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings / Matthew Dwyer (ed.).

    International SPIN Workshop (8th : 2001 Toronto, Ont.)
Berlin ; New York : Springer,        1 online resource (x, 311 pages) : illustrations. 2001
Save Marked Record Save All Records
Locate in results
 
Can't find that book? Try BONUS+

Search Discovery

Search CARM Centre Catalogue

Search Trove