Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

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

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

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01560226
Price: 19999 HUF
Availability: InStock
Author: Radhia Cousot
ISBN: 9783540242970

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

Radhia Cousot

Language

English

Book Paperback

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

Libristo code: 01560226

136 b

19 999 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

la discesa Lucio Mencatelli

Paperback

3 637 Ft

Meraviglie del mondo. 101 luoghi straordinari scelti da Lonely Planet

Paperback

11 132 Ft

Una ética para laicos Rorty

Paperback

3 019 Ft

Krajina Hudba a jej obyvatelia Gabriela Badinová; Iris Bachratá

Spiral bound

3 330 Ft

Koreanische Grammatik im Gebrauch - Grundstufe Jean-myung Ahn

Paperback

13 919 Ft

Calcul Des Indicateurs de Secheresse A Partir Des Images Noaa/Avhrr Layelmam Mohammed

Paperback

15 981 Ft

Oeuvres de Chapelle Et de Bachaumont (Nouvelle Edition) (Ed.1854) Chapelle

Paperback

9 646 Ft

Traumangeln auf Königsfische Rainer J. Bouterwek

Hardback

10 013 Ft

Analyse, Bewertung und Interpretation von impliziten Optionen im Kreditgeschaft Björn Nadolny

Paperback

9 762 Ft

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.