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 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 136 b
19 902 Ft
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 23 156 Ft
Selbstorganisierende Merkmalskarten zum Lernen von Gesten Andreas Rüter / Book Paperback
common.buy 17 720 Ft
FILOSOFIA DE LA CIENCIA EN LA EDUCACION / Book Book
common.buy 14 217 Ft
Kužeľosečky 1 Kružnica I.diel Marián Olejár / Book Paperback
common.buy 1 160 Ft
Entwicklungswerttheorie, Entwicklungsökonomie, Menschenökonomie - Eine Programmschrift Rudolf Goldscheid / Book Paperback
common.buy 8 074 Ft
L'ORTHODONTIE FONCTIONNELLE Choukroun / Book Paperback
common.buy 20 429 Ft
Die Psychologie Descartes'.: Systematisch Und Historisch-Kritisch Anton Koch / Book Paperback
common.buy 9 526 Ft
Verordnung über die Berufsausbildung zum Kerzenhersteller und Wachsbildner und zur Kerzenherstellerin und Wachsbildnerin Antiphon Verlag / Book Paperback
common.buy 4 220 Ft
Engagementpolitik Thomas Olk / Book Paperback
common.buy 30 925 Ft
Geburt der Musik Willy Pastor / Book Paperback
common.buy 8 675 Ft
Djinn Jorge Pardo / Audio Audio CD
common.buy 8 823 Ft
Ränder der Moderne Robert Weimann / Book Paperback
common.buy 4 589 Ft

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 48 807 Ft
Now the Cats With Jeweled Claws and Other One-Act Plays Tennessee Williams / Book Paperback
common.buy 5 703 Ft
Westmorland Alone Ian Sansom / Audiobook MP3
common.buy 5 056 Ft
Trump Boom Andrew Puzder / Book Paperback
common.buy 5 583 Ft
Leave Me Breathless: A Three Book Set of Hot and Steamy Romances Kristin Daniels / Book Paperback
common.buy 3 942 Ft
Jake Wolf Attorney at Law David Shaw / Book Paperback
common.buy 3 577 Ft
Truffaut on Cinema Anne Gillain / Book Paperback
common.buy 13 981 Ft
Unitt's Canadian Price Guide to Dolls and Toys Peter Unitt / Book Paperback
common.buy 4 705 Ft
Guide Book To York Minster F. Harriso / Book Paperback
common.buy 8 356 Ft
Prince of Rockport Guy Vanamburg / Book Paperback
common.buy 7 418 Ft
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 4 941 Ft
National Flood Insurance Program Cameron O'Kelly / Book Paperback
common.buy 32 977 Ft
Cambridge English: First Masterclass: Class Audio CDs Barbara Stewart / Audio Audio CD
common.buy 34 881 Ft
Neighbors, Strangers, Witches, and Culture-Heroes Susan J Rasmussen / Book Hardback
common.buy 35 584 Ft
Conceiving Risk, Bearing Responsibility Elizabeth M. Armstrong / Book Paperback
common.buy 12 969 Ft
Twentieth-Century Diplomacy John W. Young / Book Paperback
common.buy 23 230 Ft
Discover English 3 Učebnice Jayne Wildman / Book Paperback
common.buy 7 400 Ft

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?