‹ 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.

Pattern Recognition and Machine Intelligence Third International Conference, PReMI 2009 New Delhi, I von Chaudhury, Santanu (Herausgeber); Mitra, Sushmita (Herausgeber); Murthy, C. A. (Herausgeber); Pal, S
128,39 EUR

64,19 EUR

Multiobjective Optimization Interactive and Evolutionary Approaches von Branke, Jürgen (Herausgeber); Deb, Kalyanmoy (Herausgeber); Miettinen, Kaisa (Herausgeber); Slowinsk
99,99 EUR
LATIN 2018: Theoretical Informatics 13th Latin American Symposium, Buenos Aires, Argentina, April 16 von Bender, Michael A. (Herausgeber); Farach-Colton, Martín (Herausgeber); Mosteiro, Miguel A. (Herausge
104,86 EUR
New Trends in Information and Communications Technology Applications Third International Conference, von Al-mamory, Safaa O. (Herausgeber); Alwan, Jwan K. (Herausgeber); Hussein, Ali D. (Herausgeber)
81,31 EUR

Geometric Modelling Dagstuhl 2002 von Brunnett, G. (Herausgeber); Farin, Gerald (Herausgeber); Goldman, R. (Herausgeber); Hahmann, S. (Her
139,09 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.