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

6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Language EnglishEnglish
Book Paperback
Book Verification, Model Checking, and Abstract Interpretation Radhia Cousot
Libristo code: 01560226
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, January 2005
The book constitutes the refereed proceedings of the 6th International Conference on Verification, M... Full description
? points 125 b
51.75 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

la discesa Lucio Mencatelli / Book Paperback
common.buy 9.41 €
Meraviglie del mondo. 101 luoghi straordinari scelti da Lonely Planet / Book Paperback
common.buy 31.29 €
Una ética para laicos Rorty / Book Paperback
common.buy 8.50 €
Krajina Hudba a jej obyvatelia Gabriela Badinová; Iris Bachratá / Book Spiral bound
common.buy 9.31 €
Koreanische Grammatik im Gebrauch - Grundstufe Jean-myung Ahn / Book Paperback
common.buy 35.95 €
Calcul Des Indicateurs de Secheresse A Partir Des Images Noaa/Avhrr Layelmam Mohammed / Book Paperback
common.buy 41.01 €
Oeuvres de Chapelle Et de Bachaumont (Nouvelle Edition) (Ed.1854) Chapelle / Book Paperback
common.buy 25.21 €
Traumangeln auf Königsfische Rainer J. Bouterwek / Book Hardback
common.buy 28.15 €
Analyse, Bewertung und Interpretation von impliziten Optionen im Kreditgeschaft Björn Nadolny / Book Paperback
common.buy 25.11 €

The book constitutes the refereed proceedings of the 6th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2005, held in Paris, France in January 2005.§The 27 revised full papers presented together with an invited paper were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections on numerical abstraction, verification, heap and shape analysis, abstract model checking, model checking, applied abstract interpretation, and bounded model checking.

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 Radhia Cousot
Language English
Binding Book - Paperback
Date of issue 2005
Number of pages 483
EAN 9783540242970
ISBN 354024297X
Libristo code 01560226
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1530
Dimensions 155 x 235 x 27

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

The Seen and the Unseen: Abortion and the Supreme Court MR Taylor Carmichael / Book Paperback
common.buy 13.16 €
Way of the Argosi Sebastien de Castell / Book Hardback
common.buy 20.85 €
Otto the Ordinary and His Fabulous Friends Jeff Baetzel / Book Hardback
common.buy 18.73 €
Crisis of this World Merrill Stephen Mason Merrill / Book Paperback
common.buy 17.01 €
Empowering Leadership of Tomorrow Ryszard Praszkier / Book Paperback
common.buy 40.20 €
The Influence of Sea Power Upon History 1660-1783 A. T. Mahan / Book Paperback
common.buy 35.44 €
Delarivier Manley: 'The New Atalantis' Manley / Book Hardback
common.buy 122.74 €
Cornet Student Fred Weber / Book Paperback
common.buy 18.73 €
Froggy Is the Best Jonathan London / Book Paperback
common.buy 5.46 €
Essential Weight Loss Surgery Cookbook: 155 Delicious Recipes To Be Enjoyed After Weight Loss Surgery Lasselle Press / Book Paperback
common.buy 13.46 €
Abortion Stephane Bordeau / Book Paperback
common.buy 15.39 €
L'Inde Pittoresque (1861) Louis Enault / Book Paperback
common.buy 43.03 €
THE KING IN YELLOW 1895 ROBERT W. CHAMBERS / Book Paperback
common.buy 27.03 €
Child Health & Human Development Yearbook 2010 Joav Merrick / Book Hardback
common.buy 322.58 €
Vital Health Statistics Series 2, No. 58 Centers for Disease Control and Preventi / Book Paperback
common.buy 16.50 €
Very Bad Wizard Tamler Sommers / Book Paperback
common.buy 58.63 €
Echo AQA GCSE German Higher Workbook 8 Pack Oliver Gray / Book Paperback
common.buy 66.63 €
Bloodchild Anna Stephens / Book Paperback
common.buy 11.84 €

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?