The book store at your door!
Computer Aided Verification
(Paperback - 03061998)by Write a Review
|  off  |
Imported Edition. Order now and get it in 14-21 business days. See Details
All India - Free Shipping. See Details
Ships to India only.
Buy online using:
- Credit Card (VISA & MasterCard)
- Debit Card or Internet Banking Account (all major Indian Banks accepted)
- Cheque, Demand Draft or Money Order. See Details
Publisher: Springer
OR
Book: Computer Aided Verification
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.
No Reviews Yet! Be the first one to review this book.
Details of Book: Computer Aided Verification Book: Computer Aided Verification
Author: A. J. Hu, M. Y. Vardi, G. Goos
ISBN:
ISBN-13:
Binding: Paperback
Publishing Date: 03061998
Publisher: Springer
Number of Pages: 568
Language: English
Author: A. J. Hu, M. Y. Vardi, G. Goos
ISBN:
3540646086
ISBN-13:
9783540646082
,978-3540646082
Binding: Paperback
Publishing Date: 03061998
Publisher: Springer
Number of Pages: 568
Language: English
Related Tags computer aided verification introduction
2 States: The Story Of My Marriage by Chetan BhagatFourth book by the bestselling author Chetan Bhagat.
2 States is a story about Krish and Ananya. They are from two different states of India, deeply in love and want to get married. Of course, their parents don’t agree. To convert their love story into a love marriage, the couple have a tough battle in front of them.
Order now at 32% Discount
2 States is a story about Krish and Ananya. They are from two different states of India, deeply in love and want to get married. Of course, their parents don’t agree. To convert their love story into a love marriage, the couple have a tough battle in front of them.
Order now at 32% Discount
Popular at Flipkart.comEffective Authorware Win 3.0 - A Guide To Dynamic Tcp/ip Network Configuration | Decodable Bk 7 Gr 1 Villa Cuentos09 | Anglo-catholicism | The Art Of War | Other Hand | The Night Stalker | Nonlinear Evolution Of Spatial Economic Systems | Socialism And Superior Brains | Coordination Without Hierarchy | Mary Jane's Memoirs | Walt Whitman | The Interior Castle | Artist-biographies | Pippin And Peanut | Back Roads | Chaos | Expedition Kayaking | Marvels Beyond Science | 2 Piezas Afro-antillanas Para Guitarra | Dictionary Of Food And Ingredients | New Age | Hanged By The Neck Until You Be Dead | Abraham Lincoln - His Life And Public Services | Turtles All The Way Down | Papers Of Viiith International Congress On The Economic And Social History Of Turkey | The Big Apple And Other Food You Can't Eat | Hannah Montana, The Official Trivia & Quiz Book | Me N U Cookbook | Roadmap To Knowledge | The Danvers Jewels And Sir Charles Danvers | Outlines & Highlights For Management Information Systems For The Information Age By Haag Isbn | | Modern English Literature | Clara Leicester V2 | Fifty-one Tales | | Galatians & Ephesians Commentary | Ptsd - Therapist Protocol | Cham | Principles Of European Community Law | Gay And Lesbian In Their Eyes | Minix Book Operating Systems | Filters And Reflections | Empty Chair | more...
Your Recent Searches (click to search again)
| giles sparrow parag parikh anant pai amar chitra katha shelley redford young david burnie | rastogi s c chen fu beth moore nathaniel hawthorne g lakshman prasad |
Book: Computer Aided Verification by A. J. Hu, M. Y. Vardi, G. Goos
ISBN Number: 3540646086, 9783540646082, 978-3540646082