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…
Amazon.de (Intern... Prestivo2 Gebraucht, 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) Details... |
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…
Amazon.de (Intern... BOOKSXPRESS USA Versandkosten:Gewöhnlich versandfertig in 11 bis 12 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
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…
booklooker.de |
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
Biblio.co.uk |
2010, ISBN: 9783642161636
Taschenbuch
17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010
lehmanns.de Versandkosten:Versand in 7-10 Tagen. (EUR 0.00) Details... |
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…
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…
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…
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
2010, ISBN: 9783642161636
Taschenbuch
17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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: 9783642161636
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
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030309220 Model Checking Software (Biondi, Fabrizio|Given-Wilson, Thomas|Legay, Axel)
- 9783030309220 Model Checking Software (Biondi, Fabrizio|Given-Wilson, Thomas|Legay, Axel)
- 9783642223068 Model Checking Software als eBook Download von (R. Phillips)
- 9783642161643 Model Checking Software (Jaco van der Pol; Michael Weber)
- 9783540733706 Model Checking Software (Springer Berlin Heidelberg)
< zum Archiv...