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 GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 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: 01556086
Price: 19902 HUF
Availability: InStock
Author: Lenore D. Zuck
ISBN: 9783540003489

4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings

Lenore D. Zuck

Paul D. Attie

Agostino Cortesi

Supratik Mukhopadhyay

Language

English

Book Paperback

Libristo code: 01556086

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, December 2002

This book constitutes the refereed proceedings of the 4th International Conference on Verification,... Full description

Libristo code: 01556086

136 b

19 902 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Voyage, découvre, explore. Les espèces mènacées Trevisan

Board book

6 142 Ft

I Love My Mom (Welsh English Bilingual Children's Book) Kidkiddos Books

Paperback

6 332 Ft

Combat mer - Tome 3 - Les patrouilles de l'as Adi Schnee sur le U-201 en 1941-1942 Braeuer Luc

Hardback

7 312 Ft

Selected Short Stories: Povesti I Rasskazi Fyodor Dostoyevsky

Paperback

4 835 Ft

Bella Donna (Remastered) Stevie Nicks

Audio CD

3 032 Ft

Question Monetaire: Conference Imhaus-G

Paperback

5 583 Ft

Universite de France. Academie de Dijon. Faculte de Droit. Des Seconds Mariages, These E. George

Paperback

9 600 Ft

Dzdzownica Zaneta Pszczolki Lotniczki

Game

4 895 Ft

Optimierung des Einsatzes des Neuromarketings in der Business-to-Business-Kommunikation im deutschen Mobilfunkmarkt Nina Brokelschen

Paperback

6 993 Ft

This book constitutes the refereed proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2003, held in New York, NY, USA in January 2003.§The 20 revised full papers presented together with five invited contributions were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on static analysis, dynamic systems, abstract interpretation, model checking, security protocols, and formal methods.