|
|

avaa valikko

Burkhart Wolff | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 5 tuotetta
Haluatko tarkentaa hakukriteerejä?



Wolff, Burkhart; Zaidi, Fatiha
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja
Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Procee
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Basin, David; Wolff, Burkhart
Springer
2003
Pehmeäkantinen kirja
Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Havelund, Klaus; Núnez, Manuel; Rosu, Grigore; Wolff, Burkhart
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja
Formal Approaches to Software Testing and Runtime Verification - First Combined International Workshops FATES 2006 and RV 2006,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Gogolla, Martin; Wolff, Burkhart
Springer
2011
Pehmeäkantinen kirja
Tests and Proofs : 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Dubois, Catherine; Wolff, Burkhart
Springer
2018
Pehmeäkantinen kirja
Tests and Proofs : 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €