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

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

Language EnglishEnglish
Book Paperback
Book Verification, Model Checking, and Abstract Interpretation Lenore D. Zuck
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
? points 125 b
51.63 €
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 / Book Board book
common.buy 17.27 €
I Love My Mom (Welsh English Bilingual Children's Book) Kidkiddos Books / Book Paperback
common.buy 16.56 €
Combat mer - Tome 3 - Les patrouilles de l'as Adi Schnee sur le U-201 en 1941-1942 Braeuer Luc / Book Hardback
common.buy 20.60 €
Selected Short Stories: Povesti I Rasskazi Fyodor Dostoyevsky / Book Paperback
common.buy 12.62 €
Bella Donna (Remastered) Stevie Nicks / Audio Audio CD
common.buy 8.07 €
Question Monetaire: Conference Imhaus-G / Book Paperback
common.buy 14.54 €
Universite de France. Academie de Dijon. Faculte de Droit. Des Seconds Mariages, These E. George / Book Paperback
common.buy 25.15 €
Dzdzownica Zaneta Pszczolki Lotniczki / Game/Toy Game
common.buy 13.73 €
Optimierung des Einsatzes des Neuromarketings in der Business-to-Business-Kommunikation im deutschen Mobilfunkmarkt Nina Brokelschen / Book Paperback
common.buy 17.98 €

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.

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 Lenore D. Zuck, Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay
Language English
Binding Book - Paperback
Date of issue 2002
Number of pages 328
EAN 9783540003489
ISBN 3540003487
Libristo code 01556086
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1070
Dimensions 155 x 233 x 19

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

Advances in Solid State Physics Bernhard Kramer / Book Hardback
common.buy 205.53 €
Resocialising Europe in a Time of Crisis Nicola Countouris & Mark Freedland / Book Hardback
common.buy 118.32 €
Core and Equilibria of a Large Economy. (PSME-5) Werner Hildenbrand / Book Hardback
common.buy 102.26 €
War Years of a Teenager Eugene Cowles / Book Hardback
common.buy 32.63 €
Theres a Medical Name for This Kerrin P. Sharpe / Book Paperback
common.buy 15.75 €
Spiritual Appeal to Christ's Bride Jodocus Van Lodenstein / Book Paperback
common.buy 13.94 €
Top
Postures and Movement Patterns of the Human Hand Catherine A. Trombly Latham / Book Paperback
common.buy 35.36 €
Land Warmed by a Song Rustaveli Publishing LLC / Book Paperback
common.buy 19.29 €
Essay Writing Made Easy: for Everyone Who Hates to Write Essays Shannon Michal Dow / Book Paperback
common.buy 7.67 €
200 Worksheets - Find Successor of 7 Digit Numbers: Math Practice Workbook Kapoo Stem / Book Paperback
common.buy 11.21 €
Happiness With Positive Thinking: Discard Worries For Happy Living MR Baldev Bhatia / Book Paperback
common.buy 14.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