2010, ISBN: 9783642150562
Paperback
[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… More...
booklooker.de |
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings - Paperback
2010, ISBN: 364215056X
[EAN: 9783642150562], Gebraucht, guter Zustand, [PU: Springer Berlin], PERVAS,KERNEL VERIFICATION,MODEL CHECKER,AUTOMATED VERIFICATION,VERIFICATION,MODELING,PERVASIVE VERIFICYTION,EVOLUTI… More...
AbeBooks.de Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Shipping costs: EUR 8.45 Details... |
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings - used book
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… More...
booklooker.de |
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings - used book
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… More...
booklooker.de |
2010, ISBN: 9783642150562
Paperback. Very Good., 3
Biblio.co.uk |
2010, ISBN: 9783642150562
Paperback
[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… More...
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 - Paperback2010, ISBN: 364215056X
[EAN: 9783642150562], Gebraucht, guter Zustand, [PU: Springer Berlin], PERVAS,KERNEL VERIFICATION,MODEL CHECKER,AUTOMATED VERIFICATION,VERIFICATION,MODELING,PERVASIVE VERIFICYTION,EVOLUTI… More...
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings - used book
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… More...
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings - used book
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… More...
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - 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
Hardcover
Paperback
Publishing year: 2010
Publisher: Springer
215 Pages
Weight: 0,355 kg
Language: eng/Englisch
Book in our database since 2010-08-25T12:22:38+01:00 (London)
Detail page last modified on 2024-02-17T14:59:57+00:00 (London)
ISBN/EAN: 364215056X
ISBN - alternate spelling:
3-642-15056-X, 978-3-642-15056-2
Alternate spelling and related search-keywords:
Book author: hearn, sriram, peter
Book title: edinburgh 2010, experiments, the tools, august, international conference software, theories theories, lecture, computer science
Information from Publisher
Author: Gary T. Leavens; Peter O'Hearn; Sriram K Rajamani
Title: 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
Publisher: Springer; Springer Berlin
217 Pages
Publishing year: 2010-08-05
Berlin; Heidelberg; DE
Weight: 0,352 kg
Language: English
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.More/other books that might be very similar to this book
Latest similar book:
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)
< to archive...