‹ zurück Sie sind hier:  Startseite » Buchhändler » MARZIES.de Buch- und Medienhan… » Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings

Linksbuch Neu neu Rechtsbuch

Leavens, Gary T. (Herausgeber); O'Hearn, Peter (Herausgeber); Rajamani, Sriram K. (Herausgeber)

Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Kartoniert / Broschiert / Paperback)


Reihe: Lecture Notes in Computer Science 6217

Springer-Verlag GmbH, Springer Berlin, August 2010


Edition. - 215 S. - Sprache: Englisch - 68 schwarz-weiße Abbildungen, Bibliographie - 243x156x17 mm Book

ISBN: 364215056X EAN: 9783642150562

Matthew Parkinson.The authorsof these invitedtalks also graciouslyconsented to the publication of accompanying invited papers in this volume.


Preis: 74,99 EUR
Versandkosten: 0,00 EUR
Gesamtpreis: 74,99 EUR
In den Warenkorb

Anbieter: MARZIES.de Buch- und Medienhan… (Impressum/Lieferzeit)
Katalog: HC/Informatik

Angebotene Zahlungsarten: Vorauskasse
Transparente Bestellabwicklung - Verkäufer nutzt Order-Control - klicken für mehr Information
Transparente Bestellabwicklung -
Verkäufer nutzt Order-Control

 

Produktdetails

Fast track conference proceeding Unique visibility State of the art research

Inhaltsverzeichnis

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.


ISBN 3-642-15056-X

ISBN 978-3-642-15056-2

Buch empfehlen Buch empfehlen
Sparen Sie Versandkosten beim Kauf weiterer Artikel dieses Buchhändlers.

String Processing and Information Retrieval 16th International Symposium, SPIRE 2009 Saariselkä, Fin von Karlgren, Jussi (Herausgeber); Tarhio, Jorma (Herausgeber); Hyyrö, Heikki (Herausgeber)
79,99 EUR

Swarm Intelligence 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, von Dorigo, Marco (Herausgeber); Birattari, Mauro (Herausgeber); Li, Xiaodong (Herausgeber); López-Ibáñe
74,99 EUR
Meine zuletzt angesehenen antiquarischen und neue Bücher
Meine letzten Buch Suchanfragen
    Noch keine Suchanfragen vorhanden.

© 2003 - 2018 by whSoft GmbH
Entdecken Sie außerdem: Antiquariatsportal · Achtung-Bücher.de · Booklink · Buchhai - Bücher Preisvergleich
Alle genannten Preise sind Bruttopreise und enthalten, soweit nicht anders vom Verkäufer angegeben, die gesetzliche Umsatzsteuer.