Burkhart Wolff – författare

Visar alla böcker från författaren Burkhart Wolff.

5 produkter

1. 

   Tests and Proofs

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

   Av Catherine Dubois, Burkhart Wolff

   Häftad, 2018

   729 kr

   Lägg i varukorg

2. 

   Theorem Proving in Higher Order Logics

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

   Av David Basin, Burkhart Wolff

   Häftad, 2003

   709 kr

   Lägg i varukorg

3. 

   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

   Av Klaus Havelund, Manuel Núnez m. fl.

   Häftad, 2006

   729 kr

   Lägg i varukorg

4. 

   Tests and Proofs

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

   Av Martin Gogolla, Burkhart Wolff

   Häftad, 2011

   729 kr

   Lägg i varukorg

5. 

   Testing Software and Systems

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

   Av Burkhart Wolff, Fatiha Zaidi

   Häftad, 2011

   729 kr

   Lägg i varukorg