‹ zurück Sie sind hier:  Startseite » Buchhändler » MARZIES.de Buch- und Medienhan… » Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

Linksbuch Neu neu Rechtsbuch

Jhala, Ranjit (Herausgeber); Schmidt, David (Herausgeber)

Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings (Kartoniert / Broschiert / Paperback)


Reihe: Lecture Notes in Computer Science 6538

Springer-Verlag GmbH, Springer Berlin, Februar 2011


418 S. - Sprache: Englisch - 241x159x25 mm

ISBN: 3642182747 EAN: 9783642182747

This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011. The 24 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 71 initial submissions. The papers showcases state-of-the-art research in areas such as verification, model checking, abstract interpretation and address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Further topics covered are static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.


Preis: 85,59 EUR
Versandkosten: 0,00 EUR
Gesamtpreis: 85,59 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

up-to-date results fast tract conference proceedings state-of-the-art report


ISBN 3-642-18274-7

ISBN 978-3-642-18274-7

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

101,60 EUR

Independent Component Analysis and Blind Signal Separation 6th International Conference, ICA 2006, C von Rosca, Justinian (Herausgeber); Erdogmus, Deniz (Herausgeber); Principe, Jose C. (Herausgeber); Hayk
160,49 EUR

Computer Vision - ACCV 2010 10th Asian Conference on Computer Vision, Queenstown, New Zealand, Novem von Kimmel, Ron (Herausgeber); Klette, Reinhard (Herausgeber); Sugimoto, Akihiro (Herausgeber)
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.