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

Artificial Neural Networks - ICANN 2010 20th International Conference, Thessaloniki, Greece, Septemb von Diamantaras, Konstantinos (Herausgeber); Duch, Wlodek (Herausgeber); Iliadis, Lazaros S. (Herausgebe
112,34 EUR

Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2 von Marchetti-Spaccamela, Alberto (Herausgeber); Segal, Michael (Herausgeber)
64,19 EUR

Passive and Active Measurement 17th International Conference, PAM 2016, Heraklion, Greece, March 31 von Karagiannis, Thomas (Herausgeber); Dimitropoulos, Xenofontas (Herausgeber)
74,99 EUR

101,65 EUR

Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, In von D'Souza, Deepak (Herausgeber); Narayan Kumar, K. (Herausgeber)
74,89 EUR

ISO 20 000 Eine Einführung für Manager und Projektleiter von Dohle, Helge; Schmidt, Rainer; Zielke, Frank; Schürmann, Thomas
42,00 EUR
DNA Computing New Computing Paradigms von Paun, Gheorghe; Rozenberg, Grzegorz; Salomaa, Arto
90,90 EUR

Research and Development in Intelligent Systems XXVI Incorporating Applications and Innovations in I von Bramer, Max (Herausgeber); Ellis, Richard (Herausgeber); Petridis, Miltos (Herausgeber)
255,73 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.