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

74,99 EUR

Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 von Ferrè, Sèbastien (Herausgeber); Rudolph, Sebastian (Herausgeber)
80,24 EUR

Oracle Database 12c PL/SQL Advanced Programming Techniques von McLaughlin, Michael; Harper, John M.
75,11 EUR

Independent Component Analysis and Signal Separation 8th International Conference, ICA 2009, Paraty, von Adali, Tulay (Herausgeber); Barros, Allan Kardec (Herausgeber); Jutten, Christian (Herausgeber); Rom
139,09 EUR

Proceedings 174 perspeGKtive 2010 Workshop Innovative und sichere Informationstechnologien für das G von Brömme, Arslan (Herausgeber); Eymann, Thorsten (Herausgeber); Hühnlein, Detlef (Herausgeber); Roßnag
27,30 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.