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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

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: 53.79 EUR
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

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

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

Board book

17.89 €

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

Paperback

17.19 €

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

Hardback

21.29 €

Selected Short Stories: Povesti I Rasskazi Fyodor Dostoyevsky

Paperback

13.09 €

Bella Donna (Remastered) Stevie Nicks

Audio CD

12.99 €

Question Monetaire: Conference Imhaus-G

Paperback

15.09 €

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

Paperback

26.09 €

Dzdzownica Zaneta Pszczolki Lotniczki

Game

14.29 €

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

Paperback

19.99 €

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.