Hoppa till sidans huvudinnehåll

Burkhart Wolff – författare

Visar alla böcker från författaren Burkhart Wolff.
5 produkter
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

719 kr

Skickas inom 10-15 vardagar

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

699 kr

Skickas inom 10-15 vardagar

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

719 kr

Skickas inom 10-15 vardagar

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

719 kr

Skickas inom 10-15 vardagar

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

719 kr

Skickas inom 10-15 vardagar