Hoppa till sidans huvudinnehåll

Burkhart Wolff – författare

Visar alla böcker från författaren .
5 produkter
Catherine Dubois, Burkhart Wolff - Tests and Proofs, Häftad
Del 10889 - Lecture Notes in Computer Science

Tests and Proofs

12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

AvCatherine Dubois,Burkhart Wolff

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

David Basin, Burkhart Wolff - Theorem Proving in Higher Order Logics, Häftad

Theorem Proving in Higher Order Logics

16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

AvDavid Basin,Burkhart Wolff

Häftad, Engelska, 2003

709 kr

Skickas inom 10-15 vardagar

Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff - Formal Approaches to Software Testing and Runtime Verification, Häftad

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

AvKlaus Havelund,Manuel Núnezm. fl.

Häftad, Engelska, 2006

729 kr

Skickas inom 10-15 vardagar

Martin Gogolla, Burkhart Wolff - Tests and Proofs, Häftad

Tests and Proofs

5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings

AvMartin Gogolla,Burkhart Wolff

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

Burkhart Wolff, Fatiha Zaidi - Testing Software and Systems, Häftad

Testing Software and Systems

23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings

AvBurkhart Wolff,Fatiha Zaidi

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar