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

84,99 EUR

Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on So von Szmuc, Tomasz (Herausgeber); Szpyrka, Marcin (Herausgeber); Zendulka, Jaroslav (Herausgeber)
74,99 EUR

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part o von Guerra, Esther (Herausgeber); van den Brand, Mark (Herausgeber)
53,49 EUR

Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zha von Wang, Guojun (Herausgeber); Zomaya, Albert (Herausgeber); Martinez, Gregorio (Herausgeber); Li, Kenl
99,99 EUR
GI LNI Proceedings 151 PRIMIUM - Process Innovation for Enterprise Software 15.04.2009 in Mannheim von Heinzl, Armin (Herausgeber); Dadamm, Peter (Herausgeber); Kirn, Stefan (Herausgeber); Lockemann, Pet
41,40 EUR

Mathematical Modelling and Scientific Computation International Conference, ICMMSC 2012, Gandhigram, von Balasubramaniam, P. (Herausgeber); Uthayakumar, R (Herausgeber)
99,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.