The book store at your door!
Computer Aided Verification
(Paperback - 04061997)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 constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997.
The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.
The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.
No Reviews Yet! Be the first one to review this book.
Details of Book: Computer Aided Verification Book: Computer Aided Verification
Author: O. Grumberg, Orna Grumberg
ISBN:
ISBN-13:
Binding: Paperback
Publishing Date: 04061997
Publisher: Springer
Number of Pages: 504
Language: English
Author: O. Grumberg, Orna Grumberg
ISBN:
3540631666
ISBN-13:
9783540631668
,978-3540631668
Binding: Paperback
Publishing Date: 04061997
Publisher: Springer
Number of Pages: 504
Language: English
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.comCommunication Law In America Casebook | The Allyn And Bacon Guide To Writing | Last-minute Proposal | Rotten Ralph's Rotten Christmas | Communities In Cyberspace | Rights And Duties | Brand Manners | Essays | Sequil | Wolfbreed | Short Works Of Frances Ellen Watkins Harper | Poems In 3 | Preaching The Revised Common Lectionary Year A After Pentecost 1 | The Christmas Toy Factory | Lokelani Nights | Back Pain Remedies For Dummies | High-yield Comprehensive Usmle Step 1 Review | The National Debt Of The United States, 1941 To 2008 | Contesting Texts | God, Dreams, And Revelation | Christine De Pizan | The Roman Spring Of Mrs. Stone | Community Health Nursing | Learning To Be Old | The Outcome Following Traumatic Spinal Cord Injury | My A, B, C's | Echoes | A History Of The Whig Party | The Keys Of Saint Peter | Day By Day With The Boston Red Sox | Immigration | Healing The Wounds | Irish Customs And Beliefs | Handmade Peel-off Greeting Cards | The Jewel Of The Gold Coast | An Epitome Of English Grammar | Scottish Surnames | Anthologie Aus Romischen Dichtern | A Smart Kid's Guide To Playing Online Games | Principles Of Property In Land | Biggest Splash | Roger Deane's Work | more...
Your Recent Searches (click to search again)
| bruce grant garret loporto leonhard simon f a bell s a bodeen | dr jaiprakash sharma lal dhage wale nissim ezekiel b m bower a twine d a bayliss |
Book: Computer Aided Verification by O. Grumberg, Orna Grumberg
ISBN Number: 3540631666, 9783540631668, 978-3540631668