9783540415237 - Systems and Software Verification: Model-Checking Techniques and Tools von Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen... (2 Ergebnisse)

ISBN: 9783540415237

Mit der Detailsuche verfeinern

Sortiert nach

Beispielbild f�r diese ISBN

Systems and Software Verification: Model-Checking Techniques and Tools

Berard, B. et al

Sprache: Englisch

Verlag: Springer, 2001

ISBN 10: 3540415238 ISBN 13: 9783540415237

Anbieter: Anybook.com, Lincoln, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

Verk�ufer kontaktieren

Gebraucht - Hardcover
Zustand: Ausreichend

EUR 12,11

EUR 15,69 Versand
Versand von Vereinigtes K�nigreich nach USA

Anzahl: 1 verf�gbar
In den Warenkorb

Zustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:9783540415237.
Beispielbild f�r diese ISBN

Systems and Software Verification: Model-Checking Techniques and Tools

Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.

Sprache: Englisch

Verlag: Springer, 2001

ISBN 10: 3540415238 ISBN 13: 9783540415237

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

Verk�ufer kontaktieren

Neu - Hardcover
Zustand: Neu

EUR 150,43

EUR 13,82 Versand
Versand von Vereinigtes K�nigreich nach USA

Anzahl: Mehr als 20 verf�gbar
In den Warenkorb

Zustand: New. In.