. .
Deutsch
Deutschland
Ähnliche Bücher
Buch verkaufen
Anbieter, die das Buch mit der ISBN 3540851135 ankaufen:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 80,24 €, größter Preis: 93,55 €, Mittelwert: 82,90 €
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings - neues Buch

2008, ISBN: 9783540851134

ID: 978354085113

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008.The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing. Books, Computers, Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings Books>Computers, Springer Berlin Heidelberg

Neues Buch Indigo.ca
new Free shipping on orders above $25 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Model Checking Software - Herausgegeben von Havelund, Klaus Majumdar, Rupak Palsberg, Jens
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Herausgegeben von Havelund, Klaus Majumdar, Rupak Palsberg, Jens:
Model Checking Software - Taschenbuch

2008, ISBN: 9783540851134

[ED: Softcover], [PU: Springer, Berlin], This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing. 2008. X, 343 S. 235 mm Sofort lieferbar, [SC: 0.00], Neuware, gewerbliches Angebot

Neues Buch Booklooker.de
buecher.de GmbH & Co. KG
Versandkosten:Free shipping (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Model Checking Software - Klaus Havelund
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Klaus Havelund:
Model Checking Software - Taschenbuch

2008, ISBN: 9783540851134

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing., DE, [SC: 0.00], Neuware, gewerbliches Angebot, 241x156x28 mm, 343, [GW: 540g], Banküberweisung, PayPal

Neues Buch Booklooker.de
Carl Hübscher GmbH
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings - Havelund, Klaus (Herausgeber); Majumdar, Rupak (Herausgeber); Palsberg, Jens (Herausgeber)
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Havelund, Klaus (Herausgeber); Majumdar, Rupak (Herausgeber); Palsberg, Jens (Herausgeber):
Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings - neues Buch

2008, ISBN: 3540851135

ID: A6001431

Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Programmiersprachen, COMPUTERS / Logic Design, COMPUTERS / Programming Languages / General, COMPUTERS / Software Development & Engineering / General, mit Schutzumschlag neu, [PU:Springer-Verlag GmbH]

Neues Buch Achtung-Buecher.de
REDIVIVUS Buchhandlung Hanausch Reinhard, 93053 Regensburg
Versandkosten:Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Model Checking Software - Klaus Havelund; Rupak Majumdar; Jens Palsberg
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Klaus Havelund; Rupak Majumdar; Jens Palsberg:
Model Checking Software - Taschenbuch

2008, ISBN: 9783540851134

ID: 9410827

15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings, 2008, Softcover, Buch, [PU: Springer Berlin]

Neues Buch Lehmanns.de
Versandkosten:sofort lieferbar, , No shipping costs within Germany (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Model Checking Software
Autor:

Klaus Havelund

Titel:

Model Checking Software

ISBN-Nummer:

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.

Detailangaben zum Buch - Model Checking Software


EAN (ISBN-13): 9783540851134
ISBN (ISBN-10): 3540851135
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2008
Herausgeber: Springer-Verlag GmbH
343 Seiten
Gewicht: 0,540 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 29.09.2008 15:50:49
Buch zuletzt gefunden am 21.06.2017 21:54:13
ISBN/EAN: 3540851135

ISBN - alternative Schreibweisen:
3-540-85113-5, 978-3-540-85113-4


< zum Archiv...
Benachbarte Bücher