The book store at your door!
Algebraic Methodology And Software Technology
(Paperback - 19061996)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: Algebraic Methodology And Software Technology
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.
The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations.
The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations.
No Reviews Yet! Be the first one to review this book.
Details of Book: Algebraic Methodology And Software Technology Book: Algebraic Methodology And Software Technology
Author: Martin Wirsing, Maurice Nivat, M. Wirsing
ISBN:
ISBN-13:
Binding: Paperback
Publishing Date: 19061996
Publisher: Springer
Number of Pages: 660
Language: English
Author: Martin Wirsing, Maurice Nivat, M. Wirsing
ISBN:
354061463X
ISBN-13:
9783540614630
,978-3540614630
Binding: Paperback
Publishing Date: 19061996
Publisher: Springer
Number of Pages: 660
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.comDogs | Blw-lv Intrv Rdr El Sonido G4 Cienc06 | Coronation St. | Perspectives Of Information Systems | Mexico | Fundamentals Of Modern Vlsi Devices | Teaching And Assessing Skills In First Language English | Select Works Of Martin Luther V1 | A Sheaf | Why We Fail As Christians | Memories Of Buffalo Bill | Germany Vs. Civilization | The Poems, Plays And Other Remains Of Sir John Suckling V1 | Stories Of Exploration And Discovery | Joseph Ritson | The Gourmet's Guide To Europe | A Time To Heal | Antibacterial Chemotherapeutic Agents - The Fundamentals | Short Lessons In Art History | You Can't Do That On Broadway | Bridge To The Past | Technology And Values | The Inquiring Mind - Introductory Philosophic Studies | Chaldean Demonology | Twentieth Century Cook Book | Fragments From France | The Reminiscences Of Neal Dow | Vellenaux | The Story Of The Upper Canadian Rebellion V1 | Health And Strength V4 | | Gross-out Defenses Set | Quelch's Gold | Royal Navy Versus The Slave Traders | Anthony Fry | Meri Priya Kahaniyan | Tsp History 8 | The Hamnet Shakspere | Mushrooms On The Moor | Breviarium Politicorum Secundum Rubricas Mazarinicas | Gedichte Und Reden | Opened Treasures | Sancti Aldhelmi ... Opera Qu Extant, Ed. J.a. Giles. . | Sebastian Strome | more...
Your Recent Searches (click to search again)
| shandana minhas henry neele maria cross dave scheiber janet d angelo | l a flick andrew s dolkart cormen thomas h henry morton stanley wil mara |
Book: Algebraic Methodology And Software Technology by Martin Wirsing, Maurice Nivat, M. Wirsing
ISBN Number: 354061463X, 9783540614630, 978-3540614630