2010, ISBN: 9783642150562
edizione con copertina flessibile
[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… Altro …
booklooker.de |
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings - edizione con copertina flessibile
2010, ISBN: 364215056X
[EAN: 9783642150562], Gebraucht, guter Zustand, [PU: Springer Berlin], PERVAS,KERNEL VERIFICATION,MODEL CHECKER,AUTOMATED VERIFICATION,VERIFICATION,MODELING,PERVASIVE VERIFICYTION,EVOLUTI… Altro …
AbeBooks.de Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Costi di spedizione: EUR 8.45 Details... |
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings - libri usati
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… Altro …
booklooker.de |
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings - libri usati
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… Altro …
booklooker.de |
2010, ISBN: 9783642150562
Paperback. Very Good., 3
Biblio.co.uk |
2010, ISBN: 9783642150562
edizione con copertina flessibile
[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… Altro …
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 - edizione con copertina flessibile2010, ISBN: 364215056X
[EAN: 9783642150562], Gebraucht, guter Zustand, [PU: Springer Berlin], PERVAS,KERNEL VERIFICATION,MODEL CHECKER,AUTOMATED VERIFICATION,VERIFICATION,MODELING,PERVASIVE VERIFICYTION,EVOLUTI… Altro …
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings - libri usati
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… Altro …
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings - libri usati
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… Altro …
2010, ISBN: 9783642150562
Paperback. Very Good., 3
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - 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
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2010
Editore: Springer
215 Pagine
Peso: 0,355 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2010-08-25T13:22:38+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-02-17T15:59:57+01:00 (Zurich)
ISBN/EAN: 9783642150562
ISBN - Stili di scrittura alternativi:
3-642-15056-X, 978-3-642-15056-2
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : hearn, sriram, peter
Titolo del libro: edinburgh 2010, experiments, the tools, august, international conference software, theories theories, lecture, computer science
Dati dell'editore
Autore: Gary T. Leavens; Peter O'Hearn; Sriram K Rajamani
Titolo: 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
Editore: Springer; Springer Berlin
217 Pagine
Anno di pubblicazione: 2010-08-05
Berlin; Heidelberg; DE
Peso: 0,352 kg
Lingua: Inglese
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.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
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)
< Per archiviare...