Burkhart Wolff | Akateeminen Kirjakauppa

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

TESTING SOFTWARE AND SYSTEMS - 23RD IFIP WG 6.1 INTERNATIONAL CONFERENCE, ICTSS 2011, PARIS, FRANCE, NOVEMBER 7-10, 2011, PROCEE

Burkhart Wolff; Fatiha Zaidi
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Pehmeäkantinen kirja

49,60 €

THEOREM PROVING IN HIGHER ORDER LOGICS - 16TH INTERNATIONAL CONFERENCE, TPHOLS 2003, ROM, ITALY, SEPTEMBER 8-12, 2003, PROCEEDIN

David Basin; Burkhart Wolff
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2003)
Pehmeäkantinen kirja

49,60 €

FORMAL APPROACHES TO SOFTWARE TESTING AND RUNTIME VERIFICATION - FIRST COMBINED INTERNATIONAL WORKSHOPS FATES 2006 AND RV 2006,

Klaus Havelund; Manuel Núnez; Grigore Rosu; Burkhart Wolff
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Pehmeäkantinen kirja

49,60 €

TESTS AND PROOFS - 5TH INTERNATIONAL CONFERENCE, TAP 2011, ZÜRICH, SWITZERLAND, JUNE 30 - JULY 1, 2011, PROCEEDINGS

Martin Gogolla; Burkhart Wolff
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Pehmeäkantinen kirja

49,60 €

TESTS AND PROOFS - 12TH INTERNATIONAL CONFERENCE, TAP 2018, HELD AS PART OF STAF 2018, TOULOUSE, FRANCE, JUNE 27-29, 2018, PROCE

Catherine Dubois; Burkhart Wolff
Springer International Publishing AG (2018)
Pehmeäkantinen kirja

49,60 €

Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Procee

Burkhart Wolff, Fatiha Zaidi

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 226 sivua
Asu: Pehmeäkantinen kirja
Painos: 2011
Julkaisuvuosi: 2011, 21.10.2011 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering

This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2011, held in Paris, France, in November 2011. The 13 revised full papers presented together with 2 invited talks were carefully selected from 40 submissions. The papers address the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, controllers, and security infrastructures.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus