My Library

University LibraryCatalogue

     
Save Marked Record Save All Records Save Marked to My Lists
ISBN'S/ISSN'S (1-2 of 2)
3540411968
1
 
    PRINTED BOOKS 2000

Integrated Formal Methods : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : Proceedings / Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (Eds.)

    International Conference on Integrated Formal Methods (2nd :, 2000 : Dagstuhl Castle, Germany)
New York : Springer,        p. cm. 2000
2
 
    E-RESOURCE 2000

Integrated Formal Methods : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : Proceedings / Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (Eds.).

    International Conference on Integrated Formal Methods (2nd : 2000 : Dagstuhl Castle, Germany)
Berlin ; New York : Springer,        x, 439 pages : illustrations ; 24 cm. 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