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 point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 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: 01567964
Price: 20339 HUF
Availability: InStock
Author: Byron Cook
ISBN: 9783540697350

8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

Byron Cook

Andreas Podelski

Language

English

Book Paperback

Libristo code: 01567964

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, January 2007

The book constitutes the refereed proceedings of the 8th International Conference on Verification, M... Full description

Libristo code: 01567964

136 b

20 339 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Finanzierung Risikobehafteter Investitionsvorhaben Jürgen Ewert

Paperback

20 910 Ft

Wein-UEberwachungsverordnung Sarastro Gmbh

Paperback

3 238 Ft

Decorar con resina Sylvie Hooghe

Paperback

7 404 Ft

Fontenay Coup-d'épée: Tome I Fortune du Boisgobey

Paperback

4 226 Ft

Music Is Freedom: Tecniche interiori per trovare e liberare la propria musica Hermann Gils

Paperback

3 431 Ft

The book constitutes the refereed proceedings of the 8th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007, co-located with the Symposium on Principles of Programming Languages (POPL 2007).§The 21 revised full papers presented together with 3 invited lectures and 3 invited tutorials were carefully reviewed and selected from a total of 85 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods.