
Verified Software: Theories, Tools, Experiments / Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings / Gary T. Leavens (u. a.) / Taschenbuch / Englisch / 2010 - Taschenbuch
2010, ISBN: 9783642150562
[ED: Taschenbuch], [PU: Springer Berlin], Veri?ed Software: Theories, Tools and Experiments, VSTTE 2010, was held in Edinburgh, Scotland during August 16-19, 2010. This conference is part… Mehr…
booklooker.de |

Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings Gary T. Leavens (u. a.) Taschenbuch Englisch 2010 - Taschenbuch
2010, ISBN: 9783642150562
[ED: Taschenbuch], [PU: Springer Berlin], Veri?ed Software: Theories, Tools and Experiments, VSTTE 2010, was held in Edinburgh, Scotland during August 16-19, 2010. This conference is part… 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, [SC: 0.0], [PU: Springer Berlin], PERVAS,KERNEL VERIFICATION,MODEL CHECKER,AUTOMATED VERIFICATION,VERIFICATION,MODELING,PERVASIVE VERIFICYT… Mehr…
ZVAB.com Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |

Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings 2010 - gebrauchtes Buch
2010, ISBN: 9783642150562
2010 Neubindung, Buchecken und -kanten leicht angestoßen 8636524/12 Versandkostenfreie Lieferung pervas,kernel verification,model checker,automated verification,verification,modeling,perv… Mehr…
buchfreund.de |

2010, ISBN: 9783642150562
Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |


Verified Software: Theories, Tools, Experiments / Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings / Gary T. Leavens (u. a.) / Taschenbuch / Englisch / 2010 - Taschenbuch
2010, ISBN: 9783642150562
[ED: Taschenbuch], [PU: Springer Berlin], Veri?ed Software: Theories, Tools and Experiments, VSTTE 2010, was held in Edinburgh, Scotland during August 16-19, 2010. This conference is part… Mehr…

Leavens, Gary T.:
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings Gary T. Leavens (u. a.) Taschenbuch Englisch 2010 - Taschenbuch2010, ISBN: 9783642150562
[ED: Taschenbuch], [PU: Springer Berlin], Veri?ed Software: Theories, Tools and Experiments, VSTTE 2010, was held in Edinburgh, Scotland during August 16-19, 2010. This conference is part… Mehr…
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, [SC: 0.0], [PU: Springer Berlin], PERVAS,KERNEL VERIFICATION,MODEL CHECKER,AUTOMATED VERIFICATION,VERIFICATION,MODELING,PERVASIVE VERIFICYT… Mehr…
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings 2010 - gebrauchtes Buch
2010, ISBN: 9783642150562
2010 Neubindung, Buchecken und -kanten leicht angestoßen 8636524/12 Versandkostenfreie Lieferung pervas,kernel verification,model checker,automated verification,verification,modeling,perv… Mehr…
2010, ISBN: 9783642150562
Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Verified Software: Theories, Tools, Experiments
EAN (ISBN-13): 9783642150562
ISBN (ISBN-10): 364215056X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
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 2022-09-21T14:05:28+02:00 (Berlin)
ISBN/EAN: 9783642150562
ISBN - alternative Schreibweisen:
3-642-15056-X, 978-3-642-15056-2
Daten vom Verlag:
Autor/in: Gary T. Leavens; Peter O'Hearn; Sriram K Rajamani
Titel: Programming and Software Engineering; Lecture Notes in Computer Science; 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
64,19 € (DE)
65,99 € (AT)
80,08 CHF (CH)
POD
X, 217 p. 68 illus.
BC; Book; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Action; automated verification; evolution; kernel verification; logic; model checker; modeling; pervas; pervasive verificytion; verification; C; Software Engineering/Programming and Operating Systems; 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; Computer Science; 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)
- 9783319121543 Verified Software: Theories, Tools and Experiments (Dimitra Giannakopoulou; Daniel Kroening)
- 9783319488684 Verified Software. Theories, Tools, and Experiments (Sandrine Blazy; Marsha Chechik)
- 9783319121536 Verified Software: Theories, Tools and Experiments (Dimitra Giannakopoulou)
< zum Archiv...