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

GI Edition Proceedings Band 224 - Vorgehensmodelle 2013 - Vorgehensmodelle - Anspruch und Wirklichke von Hanser, Eckhart (Herausgeber); Mikusz, Martin (Herausgeber); Fazal-Baqaie, Masud (Herausgeber); Gese
41,30 EUR

Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, von Dienstfrey, Andrew (Herausgeber); Boisvert, Ronald F. (Herausgeber)
98,44 EUR

Resilience and Risk Methods and Application in Environment, Cyber and Social Domains von Linkov, Igor (Herausgeber); Palma-Oliveira, José Manuel (Herausgeber)
106,99 EUR
High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germ von Yokota, Rio (Herausgeber); Weiland, Michèle (Herausgeber); Keyes, David (Herausgeber); Trinitis, Car
69,54 EUR

Advances in Computer Games 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1- von Plaat, Aske (Herausgeber); Herik, Jaap van der (Herausgeber); Kosters, Walter (Herausgeber)
58,84 EUR

Dynamic Brain - from Neural Spikes to Behaviors 12th International Summer School on Neural Networks, von Marinaro, Maria (Herausgeber); Scarpetta, Silvia (Herausgeber); Yamaguchi, Yoko (Herausgeber)
39,54 EUR
Meine zuletzt angesehenen antiquarischen und neue Bücher
Meine letzten Buch Suchanfragen
    Noch keine Suchanfragen vorhanden.

© 2003 - 2019 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.