11 results
Type of media (2)
Availability (2)
Classification (5)
Year
Persons
Publishers
Sort by
Results per page
Filter
11 results

Your search for Burkhart Wolff

  1. Cover: Tests and Proofs - Springer
    Catherine Dubois | Burkhart Wolff
    Tests and Proofs
    12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
    06/2018
    Springer
    9783319929941 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Tests and Proofs - Springer
    Martin Gogolla | Burkhart Wolff
    Tests and Proofs
    5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings
    06/2011
    Springer
    9783642217685 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Testing Software and Systems - Springer
    Burkhart Wolff | Fatiha Zaidi
    Testing Software and Systems
    23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings
    11/2011
    Springer
    9783642245800 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Tests and Proofs - Springer
    Martin Gogolla | Burkhart Wolff
    Tests and Proofs
    5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings
    06/2011
    1st EDN1st Edition
    Springer
    9783642217678 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  5. Cover: Testing Software and Systems - Springer
    Burkhart Wolff | Fatiha Zaidi
    Testing Software and Systems
    23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings
    10/2011
    1st EDN1st Edition
    Springer
    9783642245794 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  6. Cover: Theorem Proving in Higher Order Logics - Springer
    David Basin | Burkhart Wolff
    Theorem Proving in Higher Order Logics
    16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
    09/2003
    Springer
    9783540451303 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  7. Cover: Tests and Proofs - Springer
    Catherine Dubois | Burkhart Wolff
    Tests and Proofs
    12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
    06/2018
    Springer
    9783319929934 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  8. Cover: Formal Approaches to Software Testing and Runtime Verification - Springer
    Klaus Havelund | Manuel Núnez | Grigore Rosu
    Formal Approaches to Software Testing and Runtime Verification
    First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
    12/2006
    Springer
    9783540496991 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  9. Cover: Theorem Proving in Higher Order Logics - Springer
    David Basin | Burkhart Wolff
    Theorem Proving in Higher Order Logics
    16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
    08/2003
    1st EDN1st Edition
    Springer
    9783540406648 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  10. This image is currently not available.
    Martin Gogolla | Burkhart Wolff
    Tests and Proofs
    05/2011
    Springer
    9783642217692 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  11. This image is currently not available.
    Burkhart Wolff
    A Calculus of Transformations
    1999
    Shaker
    9783826536540 (ISBN)
    Book
    Paperback/Softback
    €47.00
    Article not available