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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

Verification, Model Checking, and Abstract Interpretation

9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Language EnglishEnglish
Book Paperback
Book Verification, Model Checking, and Abstract Interpretation Francesco Logozzo
Libristo code: 01569894
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, February 2008
This book contains the proceedings of VMCAI 2007. It features current research from the communities... Full description
? points 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

Ergebnisse Der Inneren Medizin Und Kinderheilkunde L. Langstein / Book Paperback
common.buy 65.69 €
Selbstorganisierende Merkmalskarten zum Lernen von Gesten Andreas Rüter / Book Paperback
common.buy 51.99 €
FILOSOFIA DE LA CIENCIA EN LA EDUCACION / Book Book
common.buy 41.39 €
Kužeľosečky 1 Kružnica I.diel Marián Olejár / Book Paperback
common.buy 3.09 €
Entwicklungswerttheorie, Entwicklungsökonomie, Menschenökonomie - Eine Programmschrift Rudolf Goldscheid / Book Paperback
common.buy 23.69 €
L'ORTHODONTIE FONCTIONNELLE Choukroun / Book Paperback
common.buy 59.39 €
Die Psychologie Descartes'.: Systematisch Und Historisch-Kritisch Anton Koch / Book Paperback
common.buy 25.69 €
Verordnung über die Berufsausbildung zum Kerzenhersteller und Wachsbildner und zur Kerzenherstellerin und Wachsbildnerin Antiphon Verlag / Book Paperback
common.buy 11.99 €
Engagementpolitik Thomas Olk / Book Paperback
common.buy 84.99 €
Geburt der Musik Willy Pastor / Book Paperback
common.buy 24.90 €
Djinn Jorge Pardo / Audio Audio CD
common.buy 23.89 €
Ränder der Moderne Robert Weimann / Book Paperback
common.buy 13.49 €

This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, and advancement of hybrid methods.

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 Francesco Logozzo, Doron A. Peled, Leonore D. Zuck
Language English
Binding Book - Paperback
Date of issue 2008
Number of pages 325
EAN 9783540781622
ISBN 3540781625
Libristo code 01569894
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 522
Dimensions 155 x 235 x 19

Categories

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Electrochemistry IV Eberhard Steckhan / Book Hardback
common.buy 142.79 €
Now the Cats With Jeweled Claws and Other One-Act Plays Tennessee Williams / Book Paperback
common.buy 16.29 €
Westmorland Alone Ian Sansom / Audiobook MP3
common.buy 14.79 €
Trump Boom Andrew Puzder / Book Paperback
common.buy 14.99 €
Leave Me Breathless: A Three Book Set of Hot and Steamy Romances Kristin Daniels / Book Paperback
common.buy 10.69 €
Jake Wolf Attorney at Law David Shaw / Book Paperback
common.buy 9.59 €
Truffaut on Cinema Anne Gillain / Book Paperback
common.buy 37.89 €
Unitt's Canadian Price Guide to Dolls and Toys Peter Unitt / Book Paperback
common.buy 12.69 €
Guide Book To York Minster F. Harriso / Book Paperback
common.buy 24.49 €
Prince of Rockport Guy Vanamburg / Book Paperback
common.buy 20.09 €
Essay on the Progressive Improvement of Mankind. an Oration Delivered in the Chapel of Trinity College, Cambridge, on the Day of Commemoration ... William Lamb Melbourne / Book Paperback
common.buy 13.29 €
National Flood Insurance Program Cameron O'Kelly / Book Paperback
common.buy 91.89 €
Cambridge English: First Masterclass: Class Audio CDs Barbara Stewart / Audio Audio CD
common.buy 94.99 €
Neighbors, Strangers, Witches, and Culture-Heroes Susan J Rasmussen / Book Hardback
common.buy 103.89 €
Conceiving Risk, Bearing Responsibility Elizabeth M. Armstrong / Book Paperback
common.buy 36.79 €
Twentieth-Century Diplomacy John W. Young / Book Paperback
common.buy 63.09 €
Discover English 3 Učebnice Jayne Wildman / Book Paperback
common.buy 20.99 €

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?