- 0 Ergebnisse
Kleinster Preis: € 2,79, größter Preis: € 64,19, Mittelwert: € 28,10
1
Model Checking Software - Jaco van der Pol; Michael Weber
Bestellen
bei lehmanns.de
€ 64,19
Versand: € 0,00
Bestellen
Jaco van der Pol; Michael Weber:

Model Checking Software - Taschenbuch

2010, ISBN: 9783642161636

17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings, Buch, Softcover, This volume contains the proceedings of the 17th International SPIN Works… Mehr…

Versandkosten:sofort lieferbar. (EUR 0.00)
2
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (Lecture Notes in Computer Science (6349), Band 6349)
Bestellen
bei Amazon.de (Intern. Bücher)
€ 2,94
Versand: € 3,00
Bestellen
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (Lecture Notes in Computer Science (6349), Band 6349) - Taschenbuch

2010, ISBN: 9783642161636

Springer, Taschenbuch, Auflage: 2010, 273 Seiten, Publiziert: 2010-09-27T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 31562052, Verkaufsrang: 13539, Hardware & Technik, Computer & Inte… Mehr…

Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) MEDIMOPS
3
Bestellen
bei ZVAB.com
€ 2,79
Versand: € 0,00
Bestellen
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (Lecture Notes in Computer Science (6349)) - Taschenbuch

2010

ISBN: 3642161634

[EAN: 9783642161636], [SC: 0.0], [PU: Springer], Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jac… Mehr…

Versandkosten:Versandkostenfrei. (EUR 0.00) medimops, Berlin, Germany [55410863] [Rating: 5 (von 5)]
Bezahlte Anzeige
4
Model Checking Software
Bestellen
bei Hugendubel.de
€ 63,99
Versand: € 0,00
Bestellen
Model Checking Software - Taschenbuch

2010, ISBN: 3642161634

Gebundene Ausgabe

Model Checking Software ab 63.99 € als Taschenbuch: 17th International SPIN Workshop Enschede The Netherlands September 27-29 2010 Proceedings. Auflage 2010. Aus dem Bereich: Bücher, Engl… Mehr…

Nr. 13042453. Versandkosten:, , DE. (EUR 0.00)
5
Bestellen
bei Biblio.co.uk
$ 8,03
(ca. € 6,59)
Versand: € 10,67
Bestellen
Jaco van der Pol (Editor), Michael Weber (Editor):
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues) - Taschenbuch

2010, ISBN: 9783642161636

Springer, 2010-12-09. 2010. Paperback. Used:Good., Springer, 2010-12-09, 0

Versandkosten: EUR 10.67 Ergodebooks

Details zum Buch
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (Lecture Notes in Computer Science (6349), Band 6349)

This book constitutes the refereed proceedings of the 17th International SPIN workshop on Model Checking Software, SPIN 2010, held at the University of Twente, in Enschede, The Netherlands, in September 2010. The 13 revised full papers presented together with 2 tool papers and 3 invited talks were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on satisfiability modulo theories for model checking, model checking in context (simulation, testing, UML), implementation and performance of model checking, LTL and Büchi automata, extensions to infinite-state systems, and concurrent software.

Detailangaben zum Buch - Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (Lecture Notes in Computer Science (6349), Band 6349)


EAN (ISBN-13): 9783642161636
ISBN (ISBN-10): 3642161634
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: van der Pol, Jaco, Weber, Michael, Springer
261 Seiten
Gewicht: 0,421 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-07-02T13:38:56+02:00 (Berlin)
Detailseite zuletzt geändert am 2021-06-09T14:53:16+02:00 (Berlin)
ISBN/EAN: 9783642161636

ISBN - alternative Schreibweisen:
3-642-16163-4, 978-3-642-16163-6


Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783030309220 Model Checking Software (Fabrizio Biondi; Thomas Given-Wilson; Axel Legay)


< zum Archiv...