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
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

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 125 b
51.75 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

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

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 137.84 €
Now the Cats With Jeweled Claws and Other One-Act Plays Tennessee Williams / Book Paperback
common.buy 15.49 €
Westmorland Alone Ian Sansom / Audiobook MP3
common.buy 14.27 €
Trump Boom Andrew Puzder / Book Paperback
common.buy 14.27 €
Leave Me Breathless: A Three Book Set of Hot and Steamy Romances Kristin Daniels / Book Paperback
common.buy 10.32 €
Jake Wolf Attorney at Law David Shaw / Book Paperback
common.buy 9.21 €
Truffaut on Cinema Anne Gillain / Book Paperback
common.buy 36.45 €
Unitt's Canadian Price Guide to Dolls and Toys Peter Unitt / Book Paperback
common.buy 12.04 €
Guide Book To York Minster F. Harriso / Book Paperback
common.buy 23.59 €
Prince of Rockport Guy Vanamburg / Book Paperback
common.buy 19.33 €
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 12.65 €
National Flood Insurance Program Cameron O'Kelly / Book Paperback
common.buy 88.21 €
Cambridge English: First Masterclass: Class Audio CDs Barbara Stewart / Audio Audio CD
common.buy 92.46 €
Neighbors, Strangers, Witches, and Culture-Heroes Susan J Rasmussen / Book Hardback
common.buy 100.46 €
Conceiving Risk, Bearing Responsibility Elizabeth M. Armstrong / Book Paperback
common.buy 35.64 €
Twentieth-Century Diplomacy John W. Young / Book Paperback
common.buy 61.06 €
Discover English 3 Učebnice Jayne Wildman / Book Paperback
common.buy 20.25 €

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