Verwandte Artikel zu [(Model Checking Software: 20th International Symposium,...

[(Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings )] [Author: Ezio Bartocci] [Jul-2013] - Softcover

 
9783642391774: [(Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings )] [Author: Ezio Bartocci] [Jul-2013]

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

(Keine Angebote verfügbar)

Buch Finden:



Kaufgesuch aufgeben

Sie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!

Kaufgesuch aufgeben

Weitere beliebte Ausgaben desselben Titels

9783642391750: Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings: 7976 (Theoretical Computer Science and General Issues)

Vorgestellte Ausgabe

ISBN 10:  3642391753 ISBN 13:  9783642391750
Verlag: Springer, 2013
Softcover