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

37,99 EUR

Rough Sets and Knowledge Technology 4th International Conference, RSKT 2009, Gold Coast, Australia, von Wen, Peng (Herausgeber); Li, Yuefeng (Herausgeber); Polkowski, Lech (Herausgeber); Yao, Yiyu (Heraus
128,39 EUR

Multi-Objective Machine Learning von Jin, Yaochu (Herausgeber)
279,99 EUR

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15 von Cheong, Otfried (Herausgeber); Chwa, Kyung-Yong (Herausgeber); Park, Kunsoo (Herausgeber)
85,59 EUR

Constraint Databases von Kuper, Gabriel (Herausgeber); Libkin, Leonid (Herausgeber); Paredaens, Jan (Herausgeber)
159,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.