My Library

University LibraryCatalogue

     
Limit search to items available for borrowing or consultation
Save Marked Record Save All Records Save Marked to My Lists
AUTHORS (1-2 of 2)
ACM Symposium on Principles of Programming Languages 2004 :
1
Book Cover
    E-RESOURCE 2004

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings / Bernhard Steffen, Giorgio Levi (eds).

    VMCAI 2004 (2004 : Venice, Italy)
Berlin ; New York : Springer,        1 online resource (xi, 324 pages) : illustrations. 2004
2
Book Cover
    E-RESOURCE 2004

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings / Bernhard Steffen, Giorgio Levi (eds).

    VMCAI 2004 (2004 : Venice, Italy)
Berlin ; New York : Springer,        xi, 324 pages : illustrations ; 24 cm. 2004
Save Marked Record Save All Records
Locate in results
 
Can't find that book? Try BONUS+

Search Discovery

Search CARM Centre Catalogue

Search Trove