Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Verification, Model Checking, and Abstract Interpretation

14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

Language EnglishEnglish
Book Paperback
Book Verification, Model Checking, and Abstract Interpretation Roberto Giacobazzi
Libristo code: 01662910
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, January 2013
This book constitutes the refereed proceedings of the 14th International Conference on Verification,... Full description
? points 125 b
51.69 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Schmerz N. Birbaumer / Book Paperback
common.buy 53.11 €
Une Vie pour une Autre Levet / Book Paperback
common.buy 22.65 €
VOM EGERLAND BIS OBERKRAIN CONCERT BAND/HARMONIE-PARTITION+PARTIES SEPAREES MICHAEL KLOSTERMANN_ Book binding.
common.buy 115.33 €
SONATE PIANO PIANO ROBERT MOEVS Book binding.
common.buy 34.59 €
Nur ein Geiger Hans Christian Andersen / Book Paperback
common.buy 21.44 €
Kdo zatočí s Naschválníkem Ludmila Bakonyi Selingerová / Book Hardback
common.buy 3.23 €
Ostseeküste Mecklenburg-Vorpommern und Rügen Heidrun Hoffmann / Book Paperback
common.buy 15.67 €
Avesta Friedrich von Spiegel / Book Paperback
common.buy 44.51 €
Foto-Grafie. Fotografische Narrativität im Werk von Ida Fink Agnieszka Rz dca / Book Paperback
common.buy 33.58 €
Faustine Ida von Hahn-Hahn / Book Paperback
common.buy 13.55 €
Top
Morgavsa a Morgana Tajemství bájné Chlupambry Petr Kopl / Book Hardback
common.buy 11.32 €
Straßenverkehrsordnung (StVO) / Book Paperback
common.buy 18.20 €
Praha Thomas Käfer / Book Paperback
common.buy 20.63 €
Beratung zwischen Tur und Angel Heino Hollstein-Brinkmann / Book Paperback
common.buy 61.30 €
Eddalieder: Gedichte Der Heldensage Finnur Jnsson / Book Paperback
common.buy 19.32 €
Die Entwicklung des Religionsbegriffs bei Schleiermacher Eugen Huber / Book Paperback
common.buy 29.43 €
Zum Bildungsbedarf für Datensicherheit Frank Spieß / Book Paperback
common.buy 68.89 €
Traite de Morale, Reimprime d'Apres l'Edition de 1707 Malebranche-N / Book Paperback
common.buy 25.18 €
Droit Des Femmes Et Le Mariage, Etudes Critiques de Legislation Comparee BRIDEL-L / Book Paperback
common.buy 19.21 €
Dramaturgie in der Ausstellung Sibylle Lichtensteiger / Book Paperback
common.buy 21.14 €
Gabler Lexikon Personal Ulrich Büdenbender / Book Paperback
common.buy 51.89 €
Entwicklung und Implementierung eines drahtlosen Sensor-Aktor-Netzwerks fur ein Parkleitsystem Tom Filbrandt / Book Paperback
common.buy 25.08 €
Verbreitung und die Herkunft der Deutschen in Schlesien Karl Weinhold / Book Paperback
common.buy 12.64 €
System der Politik Harald Bluhm / Book Paperback
common.buy 42.48 €

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. §The 27 revised full papers presented were carefully reviewed and selected from 72 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type system, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Verification, Model Checking, and Abstract Interpretation
Author Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni
Language English
Binding Book - Paperback
Date of issue 2013
Number of pages 556
EAN 9783642358722
ISBN 3642358721
Libristo code 01662910
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 860
Dimensions 155 x 235 x 31

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications César San Martin / Book Paperback
common.buy 58.57 €
Discourse On Miracles, Considered As Evidences To Prove The Divine Original Of A Revelation (1741) Thomas Chubb / Book Paperback
common.buy 36.41 €
Quick Guidebook to Canine and Feline Ophthalmology - 2nd Edition / Book Hardback
common.buy 85.79 €
I Already Am Vincent Tozzi / Book Paperback
common.buy 12.84 €
Can't Stay Here Andre L Johnson / Book Paperback
common.buy 14.86 €
Developments in Healthcare Information Systems and Technologies Joseph Tan / Book Hardback
common.buy 267.20 €
Leave It to Me... My Life in Music Donn Trenner / Book Paperback
common.buy 26.90 €
Urban Dreams and Realities in Antiquity: Remains and Representations of the Ancient City Adam Kemezis / Book Hardback
common.buy 316.07 €
Ripley's Canyon Richard Brauer / Book Paperback
common.buy 16.48 €
Legend of the Lost William Wayne Dicksion / Book Paperback
common.buy 12.23 €
Young Robin Hood George Manville Fenn / Book Paperback
common.buy 8.59 €
The House of a Thousand Candles Meredith Nicholson / Book Paperback
common.buy 14.05 €
Adolescent and Sovereign: The Disintegration of the Utopian World Mark O Purifoy / Book Paperback
common.buy 10.31 €
Return to Limerick W. L. Wright / Book Paperback
common.buy 13.85 €
Quotable Kid Book: A Parent's Keepsake of Unforgettable Quotes Rlt Print / Book Paperback
common.buy 7.58 €
Krampus Tales: A Killer Anthology Sinead McCabe / Book Paperback
common.buy 13.04 €
Dictionary of Scholastic Philosophy Bernard Wuellner / Book Paperback
common.buy 19.01 €
Daring to Be Bad, Thirtieth Anniversary Edition Alice Echols / Audiobook MP3
common.buy 17.49 €
Ben Gets a Pet / Book Hardback
common.buy 21.64 €
The Mind's Eye Peter Jackson-Main / Book Paperback
common.buy 38.44 €
Albert and the Pond Ian Brown / Book Paperback
common.buy 8.69 €
Non-equilibrium Thermodynamics of Superfluid Helium and Quantum Turbulence Maria Stella Mongiovì / Book Hardback
common.buy 85.69 €
Negotiating Cultural Diversity Manju P. Acharya / Book Paperback
common.buy 68.89 €
Protection of Built Environment Against Earthquakes Matjaz Dolsek / Book Hardback
common.buy 154.39 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?