3 results
Type of media (2)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
3 results

Your search for W. Rance Cleaveland

  1. Cover: Tools and Algorithms for the Construction of Analysis of Systems - Springer
    W. Rance Cleaveland
    Tools and Algorithms for the Construction of Analysis of Systems
    5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
    05/2003
    Springer
    9783540490593 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Tools and Algorithms for the Construction of Analysis of Systems - Springer
    W. Rance Cleaveland
    Tools and Algorithms for the Construction of Analysis of Systems
    5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
    03/1999
    Springer
    9783540657033 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  3. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Ed Brinksma | W. Rance Cleaveland | Kim G. Larsen
    Tools and Algorithms for the Construction and Analysis of Systems
    First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
    11/1995
    Springer
    9783540606307 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days