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)
Joshi, Rajeev,
1
 
    E-RESOURCE 2015

NASA formal methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / Klaus Havelund, Gerard Holzmann, Rajeev Joshi (eds.).

    NFM (Symposium) (7th : 2015 : Pasadena, Calif.)
Cham : Springer,        1 online resource (xiii, 458 pages) : illustrations. 2015
2
 
    E-RESOURCE 2012

Verified software: theories, tools, experiments 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings / [electronic resource] : Rajeev Joshi, Peter Müller, Andreas Podelski (eds.).

    VSTTE (Conference) (4th : 2012 : Philadelphia, Pa.)
Berlin ; New York : Springer,        1 online resource (x, 325 pages) : illustrations. 2012
Save Marked Record Save All Records
Locate in results
 
Can't find that book? Try BONUS+

Search Discovery

Search CARM Centre Catalogue

Search Trove