Verification, Model Checking, and Abstract Interpretation.

Language: English

Published by Springer Verlag, 2002

3540003487 / 9783540003489

  • Softcover
  • Used
See all details

Seller: CSG Onlinebuch GMBH, Darmstadt, GermanyCSG Onlinebuch GMBH

5-star seller

AbeBooks seller since September 6, 2022

View this seller's items
Softcover

Condition: Used - Very good

US$ 30.40

US$ 110.14 shipping 
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns

Item description from seller

Gebraucht - Gut Zustand: Gut, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings XI, 325 p. Also available online. About this book: 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. Written for Researchers and professionals.

Seller Inventory # 14907

Title
Verification, Model Checking, and Abstract Interpretation.
Author
L.D Zuck
Publisher
Springer Verlag
Publication year
2002
Condition
Gut
Binding
Softcover
Language
English
ISBN 10
3540003487
ISBN 13
9783540003489

CSG Onlinebuch GMBH

Darmstadt, Germany

5-star seller

AbeBooks seller since September 6, 2022

Shipping rates from Germany to U.S.A.

Item60 to 60 business days60 to 60 business days
First itemUS$ 110.14US$ 127.53
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
  • Check
  • Paypal

Store description

Online Handel mit gebrauchten und antiquarischen Büchern.

Specialty

Gebrauchtbücher

Seller's business information

CSG Onlinebuch GMBH

Bunsenstr. 6
Darmstadt, Germany 64293