The book store at your door!
Tools And Algorithms For The Construction And Analysis Of Systems
(Paperback - 18031998)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:
- Debit Card / Internet Banking / ATM Card
- Credit Card (VISA & MasterCard)
- Cheque, Demand Draft or Money Order. See Details
Publisher: Springer
OR
Book: Tools And Algorithms For The Construction And Analysis Of Systems
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with ETAPS in Lisbon, Portugal, in March/April 1998. The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions. The volume is devoted to conceptual foundations, development, and applications of tools and algorithms for the specification, verification, analysis, and construction of software and hardware systems. The papers are organized in sections on model checking, design and architecture, various applications, fielded applications, verification of real-time systems, mixed analysis techniques, and case studies and experience.
No Reviews Yet! Be the first one to review this book.
Details of Book: Tools And Algorithms For The Construction And Analysis Of Systems Book: Tools And Algorithms For The Construction And Analysis Of Systems
Author: J. Van Leeuwen, J. Hartmanis, G. Goos
ISBN:
ISBN-13:
Binding: Paperback
Publishing Date: 18031998
Publisher: Springer
Number of Pages: 488
Language: English
Author: J. Van Leeuwen, J. Hartmanis, G. Goos
ISBN:
3540643567
ISBN-13:
9783540643562
,978-3540643562
Binding: Paperback
Publishing Date: 18031998
Publisher: Springer
Number of Pages: 488
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.comForfeit | A Manual Of Universal Church History V2 | Charles Francis Adams | Understanding Church Growth | Italienische Reise, Teil 1 | Bared Soul And Memories Poetry Collection | The Teacher And The Child | Disciplemaking | Freemasonry In Mississippi In 1868 - Pamphlet | A Practical Guide To Solar Photovoltaic Systems For Technicians | Creepy Crawlies | France, Mexico, And The Confederate States | Sturmflut | Moods, Songs, And Doggerels | A Book About The Clergy... | Philosophia Definitiva Hoc Est Definitiones Philosophicae | The Memorbook Of Nrnberg, Containing The Names Of The Jews Martyred In That City In The Year 5109=1 | Fish Preservation And Refrigeration | Burning Bright | Sherlock Holmes | The Secret Gratitude Book | Econometric Methods | A Romance On Three Legs | Pride And Prejudice | Influence | To The Lighthouse | This Year I Will... | Revenge Reconciliation Understanding South Asian History | Meditation | Black Swan | An Introduction To The Philosophy Of History | Fundamentals Of Digital Communication | Men Are From Mars Women Are From Venus | Freakonomics | Core J2ee Patterns | Good To Great | Beyond Greed And Fear | Shantaram | Bittersweet | Advanced Study In The History Of Medieval India Vol.2 | Year Of Magical Thinking | Out Of The Box | Wuthering Heights | Book Of Indian Birds | Heartbreaking Work Of Staggering Genius | A Better India, A Better World | Pmp Exam Prep 6th Edition | Your Next Move | more...
Your Recent Searches (click to search again)
| marc mercuri camille paglia dale m courtney michael f stagliano athanasios papoulis | vijay govindarajan patrick johan kugelberg michael e mortenson henry f korth |
Book: Tools And Algorithms For The Construction And Analysis Of Systems by J. Van Leeuwen, J. Hartmanis, G. Goos
ISBN Number: 3540643567, 9783540643562, 978-3540643562