ISBN Search

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

ISBN-13: 9783540208037

ISBN-10: 3540208038

Edition: 2004

Binding: Paperback

Publisher: Springer

Published: 2004-01-07

Sell this book           Buy or Rent?

Best Prices for this Book in New Condition

Best Used Prices

As an Amazon Associate we earn from qualifying purchases.