2010, ISBN: 9783642150562
Taschenbuch
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Fast track conference pro… Mehr…
booklooker.de |
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings - Taschenbuch
2010, ISBN: 364215056X
[EAN: 9783642150562], Gebraucht, guter Zustand, [PU: Springer Berlin], PERVAS,KERNEL VERIFICATION,MODEL CHECKER,AUTOMATED VERIFICATION,VERIFICATION,MODELING,PERVASIVE VERIFICYTION,EVOLUTI… Mehr…
AbeBooks.de Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Versandkosten: EUR 8.45 Details... |
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings - gebrauchtes Buch
2010, ISBN: 9783642150562
[PU: Springer Berlin], Neubindung, Buchecken und -kanten leicht angestoßen 8636524/12, DE, [SC: 3.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, Kreditkarte, PayPa… Mehr…
booklooker.de |
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings - gebrauchtes Buch
2010, ISBN: 9783642150562
[PU: Springer Berlin], Neubindung, Buchecken und -kanten leicht angestoßen 8636524/12, DE, [SC: 29.90], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, Kreditkarte, PayP… Mehr…
booklooker.de |
2010, ISBN: 9783642150562
Paperback. Very Good., 3
Biblio.co.uk |
2010, ISBN: 9783642150562
Taschenbuch
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Fast track conference pro… Mehr…
Leavens, Gary T., Peter O`Hearn und Sriram K Rajamani:
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings - Taschenbuch2010, ISBN: 364215056X
[EAN: 9783642150562], Gebraucht, guter Zustand, [PU: Springer Berlin], PERVAS,KERNEL VERIFICATION,MODEL CHECKER,AUTOMATED VERIFICATION,VERIFICATION,MODELING,PERVASIVE VERIFICYTION,EVOLUTI… Mehr…
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings - gebrauchtes Buch
2010
ISBN: 9783642150562
[PU: Springer Berlin], Neubindung, Buchecken und -kanten leicht angestoßen 8636524/12, DE, [SC: 3.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, Kreditkarte, PayPa… Mehr…
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings - gebrauchtes Buch
2010, ISBN: 9783642150562
[PU: Springer Berlin], Neubindung, Buchecken und -kanten leicht angestoßen 8636524/12, DE, [SC: 29.90], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, Kreditkarte, PayP… Mehr…
2010, ISBN: 9783642150562
Paperback. Very Good., 3
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings: 6217 (Lecture Notes in Computer Science, 6217)
EAN (ISBN-13): 9783642150562
ISBN (ISBN-10): 364215056X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer
215 Seiten
Gewicht: 0,355 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2010-08-25T13:22:38+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-17T15:59:57+01:00 (Berlin)
ISBN/EAN: 9783642150562
ISBN - alternative Schreibweisen:
3-642-15056-X, 978-3-642-15056-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: hearn, sriram, peter
Titel des Buches: edinburgh 2010, experiments, the tools, august, international conference software, theories theories, lecture, computer science
Daten vom Verlag:
Autor/in: Gary T. Leavens; Peter O'Hearn; Sriram K Rajamani
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Verified Software: Theories, Tools, Experiments - Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
Verlag: Springer; Springer Berlin
217 Seiten
Erscheinungsjahr: 2010-08-05
Berlin; Heidelberg; DE
Gewicht: 0,352 kg
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
X, 217 p. 68 illus.
BC; Software Engineering/Programming and Operating Systems; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Action; automated verification; evolution; kernel verification; logic; model checker; modeling; pervas; pervasive verificytion; verification; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; 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
Invited Talk.- Towards Scalable Modular Checking of User-Defined Properties.- Verification Techniques.- Tressa: Claiming the Future.- Automated Verification of a Small Hypervisor.- Verification of Low-Level Code.- A Rely-Guarantee Proof System for x86-TSO.- Pervasive Verification of an OS Microkernel.- Invited Talk.- The L4.verified Project — Next Steps.- Requirements and Specifications.- An Approach of Requirements Tracing in Formal Refinement.- Dafny Meets the Verification Benchmarks Challenge.- Specifying Reusable Components.- Verification Techniques.- Reusable Verification of a Copying Collector.- To Goto Where No Statement Has Gone Before.- Invited Talk.- The Next 700 Separation Logics.- Locality in Reasoning.- Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients.- Abstraction and Refinement for Local Reasoning.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030415990 Verified Software. Theories Tools and Experiments by Supratik Chakraborty Paperback | Indigo Chapters (Supratik Chakraborty; Jorge A. Navas)
- 9783030415990 Verified Software. Theories Tools and Experiments by Supratik Chakraborty Paperback | Indigo Chapters (Supratik Chakraborty; Jorge A. Navas)
- 9783030035914 Verified Software. Theories, Tools, and Experiments (Ruzica Piskac; Philipp Rümmer)
- 9783642150579 Verified Software: Theories, Tools, Experiments (Gary T. Leavens; Peter O'Hearn; Sriram K Rajamani)
< zum Archiv...