- 5 Ergebnisse
Kleinster Preis: € 9,48, größter Preis: € 53,49, Mittelwert: € 34,61
1
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)
€ 38,08
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link

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, 0.42 kg, Informatik, IT-Ausbildung & -Berufe, Computer &… Mehr…

IN - IndienGebraucht, wie neu. Versandkosten:Gewöhnlich versandfertig in 4 bis 5 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Prestivo2
zuklappen (X)
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)
€ 34,59
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
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, 0.42 kg, Informatik, IT-Ausbildung & -Berufe, Computer &… Mehr…

Versandkosten:Gewöhnlich versandfertig in 11 bis 12 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) BOOKSXPRESS USA
zuklappen (X)
3
Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings - van der Pol, Jaco und Michael Weber
Bestellen
bei booklooker.de
€ 37,43
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
van der Pol, Jaco und Michael Weber:
Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings - gebrauchtes Buch

2010

ISBN: 9783642161636

[PU: Springer Berlin], Neubindung, Buchrücken leicht angestoßen, Buchumschlag leicht geknickt 9293153/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung,… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
zuklappen (X)
4
Bestellen
bei Biblio.co.uk
$ 10,25
(ca. € 9,48)
Versand: € 19,421
Bestellen
Details beim Anbieter
gesponserter Link
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 19.42 Ergodebooks
zuklappen (X)
5
Model Checking Software - Jaco van der Pol; Michael Weber
Bestellen
bei lehmanns.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Jaco van der Pol; Michael Weber:
Model Checking Software - Erstausgabe

2010, ISBN: 9783642161636

Taschenbuch

17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010

Versandkosten:Versand in 7-10 Tagen. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Model Checking Software
Autor:
Titel:
ISBN-Nummer:

3642161634


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


EAN (ISBN-13): 9783642161636
ISBN (ISBN-10): 3642161634
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
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 2024-04-03T12:18:24+02:00 (Berlin)
ISBN/EAN: 3642161634

ISBN - alternative Schreibweisen:
3-642-16163-4, 978-3-642-16163-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: michael weber, van der pol, holzmann, springer, university twente
Titel des Buches: enschede, model, software, spin, lecture notes computer science, pol, proceedings international workshop, general science

Daten vom Verlag:

Autor/in: Jaco van der Pol; Michael Weber
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
Verlag: Springer; Springer Berlin
263 Seiten
Erscheinungsjahr: 2010-09-27
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 263 p. 70 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; abstraction; automatic testing; bisimulation; bug finding; completeness; formal methods; formal modeling; nondeterminism; probabilistic models; program analysis; simulation; static analysis; testing; verification condition; Software Engineering; Compilers and Interpreters; Programming Techniques; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; EA

Satisfiability Modulo Theories for Model Checking.- SMT-Based Software Model Checking.- Symbolic Object Code Analysis.- Model Checking in Context.- Experimental Comparison of Concolic and Random Testing for Java Card Applets.- Combining SPIN with ns-2 for Protocol Optimization.- Automatic Generation of Model Checking Scripts Based on Environment Modeling.- Implementation and Performance of Model Checking.- Model Checking: Cleared for Take Off.- Context-Enhanced Directed Model Checking.- Efficient Explicit-State Model Checking on General Purpose Graphics Processors.- The SpinJa Model Checker.- LTL and Büchi Automata.- On the Virtue of Patience: Minimizing Büchi Automata.- Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance.- Nevertrace Claims for Model Checking.- Infinite State Models.- A False History of True Concurrency: From Petri to Tools.- Analysing Mu-Calculus Properties of Pushdown Systems.- Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains.- An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models.- Concurrent Software.- Context-Bounded Translations for Concurrent Software: An Empirical Evaluation.- One Stack to Run Them All.
Up to date results Fast conference proceedings State-of-the-art report
< zum Archiv...