Verification, Model Checking, and Abstract Interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
Language: English
Published by Springer-Verlag GmbH, 2011
- Softcover
- Used
Condition: Used - Fine
Current price: US$ 49.27
Quantity: 1 available
Add to basketItem description from seller
Zustand: Sehr gut | Seiten: 418 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Seller Inventory # 10282540/12
- Title
- Verification, Model Checking, and Abstract Interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
- Author
- Unbekannt
- Publisher
- Springer-Verlag GmbH
- Publication year
- 2011
- Condition
- Sehr gut
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3642182747
- ISBN 13
- 9783642182747
- Seller catalogs
- Bücher
"Synopsis" may belong to another edition of this title.
From the Back Cover
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.
"About the title" may belong to another edition of this title.
Shipping rates from Germany to U.S.A.
| Item | 60 to 60 business days | 60 to 60 business days |
|---|---|---|
| First item | US$ 117.51 | US$ 145.49 |
Payment methods
- Bank Wire Transfer
- Check
- Paypal
Store description
Seit über 30 Jahren handeln wir mit Büchern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter Bücher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen Bücher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderbücher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen. Neben dem Ankauf von privaten Büchern oder Haushaltsauflösungen kaufen wir bundesweit komplette Bibliotheken und Buchbestände von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen. Parallel dazu bietet Buchpark die Möglichkeit, große Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbestände werden von uns professionell auf Qualitätsmerkmale hin untersucht und sorgfältig für den Onlinehandel aufbereitet. Wir schenken Büchern ein zweites Leben.…
Seller's business information
Buchpark GmbH
Krügerweg 1
Trebbin, Germany 14959