The book store at your door!
Computer Aided Verification
(Paperback - 21061995)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 volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in LiA]ge, Belgium in July 1995.
The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the three invited presentations. Originally oriented towards finite-state concurrent systems, CAV now covers all styles of verification approaches and a variety of application areas. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations. Beyond finite-state systems, real-time systems and hybrid systems are an important part of the conference.
The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the three invited presentations. Originally oriented towards finite-state concurrent systems, CAV now covers all styles of verification approaches and a variety of application areas. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations. Beyond finite-state systems, real-time systems and hybrid systems are an important part of the conference.
No Reviews Yet! Be the first one to review this book.
Details of Book: Computer Aided Verification Book: Computer Aided Verification
Author: G. Goos, J. Van Leeuwen, J. Hartmanis
ISBN:
ISBN-13:
Binding: Paperback
Publishing Date: 21061995
Publisher: Springer
Number of Pages: 468
Language: English
Author: G. Goos, J. Van Leeuwen, J. Hartmanis
ISBN:
3540600450
ISBN-13:
9783540600459
,978-3540600459
Binding: Paperback
Publishing Date: 21061995
Publisher: Springer
Number of Pages: 468
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
![The Internationalisation Of Young High-tech Firms by Oliver B]rgel, Andreas Fier, Georg Licht](http://img.flipkart.com/bk_imgs/thumb/200/9783790801200.jpg "The Internationalisation Of Young High-tech Firms by Oliver B]rgel, Andreas Fier, Georg Licht")
Popular at Flipkart.comEuropean Forest Recreation And Tourism | The Nepa Planning Process | Paul's Gift From Philippi | Global Crises, Global Solutions Costs And Benefits | The House Of Falling Leaves, With Other Poems | How Germany Seeks To Justify Her Atrocities | Storia Della Monarchia Piemontese | The Shadow Of The Hawk | Bessemer And Lake Erie Railroad | Encyclopedia Of World Mythology | Fantasy Fiction Into Film | Africa's Development Thinking Since Independence. A Reader | The Sword And The Cross | Beginning Hydroponics | Flavoprotein Protocols | Plantworks | Bringing Out The Best In Teachers | History Of The 45th | Christian Belief | Beatrice Of Venice | Tom Slade On Mystery Trail | Building On The Past | Examkrackers Mcat Biology | Jock Sturges | A Computational Model Of Natural Language Communication | Sanskrit English Dictionary | The Voice Of The People | Ancient Rhetorical Theory And Paul | Reinforcement Of Polymer Nano-composites | Resolved To Be Rich | What Is The Church? The Question Answered In An Essay, Showing That The Church Of Christ Is One, Holy, Catholic, Apostolic | The Serious Poems Of Thomas Hood | Potential Areas Of Conflict In Mergers | Fe/male | Alexis's Paradise | Posterior Segment Complications Of Cataract Surgery | Law Quarterly Review | Essay On The Genius And Writings Of Pope | more...
Your Recent Searches (click to search again)
| m baus d a bender ed arnold e bender n a bar richard g beauchamp donald mccaig | marshall j cook p a cherix martin rhodes hans peter studer chandra |
Book: Computer Aided Verification by G. Goos, J. Van Leeuwen, J. Hartmanis
ISBN Number: 3540600450, 9783540600459, 978-3540600459