The book store at your door!
Algebraic Methodology And Software Technology
(Paperback - 21051995)by Write a Review
|  off  |
Available. Order now and get it in 10-12 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 volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995.
It includes full papers or extended abstracts of the invited talks, refereed selected contributions, and research prototype tools. The invited speakers are David Gries, Jeanette Wing, Dan Craigen, Ted Ralston, Ewa Orlowska, Krzysztof Apt, Joseph Goguen, and Rohit Parikh. The 29 refereed papers presented were selected from some 100 submissions; they are organized in sections on algebraic and logical foundations, concurrent and reactive systems, software technology, logic programming and databases.
It includes full papers or extended abstracts of the invited talks, refereed selected contributions, and research prototype tools. The invited speakers are David Gries, Jeanette Wing, Dan Craigen, Ted Ralston, Ewa Orlowska, Krzysztof Apt, Joseph Goguen, and Rohit Parikh. The 29 refereed papers presented were selected from some 100 submissions; they are organized in sections on algebraic and logical foundations, concurrent and reactive systems, software technology, logic programming and databases.
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: Vangular S. Alagar, Maurice Nivat, V. S. Alagar
ISBN:
ISBN-13:
Binding: Paperback
Publishing Date: 21051995
Publisher: Springer
Number of Pages: 616
Language: English
Author: Vangular S. Alagar, Maurice Nivat, V. S. Alagar
ISBN:
3540600434
ISBN-13:
9783540600435
,978-3540600435
Binding: Paperback
Publishing Date: 21051995
Publisher: Springer
Number of Pages: 616
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.comHolt Science & Technology Life Science Chapter 3 Resource File | Words Of The World*s Religion | Soldiers And Citizens | Calcium | Salvador Dali | Cecil-dean | Men And Measures | Sticks & Stones | Surrounded By Angels | Reptiles And Amphibians Of Europe | Special Edition Using Adobe | The Mystery Cave | Toward A 21st-century School Library Media Program | Porpoises | A Porter Pedigree Being An Account Of The Ancestry And Descendants Of Samuel And Martha | Our Brown-eyed Boy | Mafia Son | The Life Of Blessed Martin De Porres | Sacred Archaeology | A Poor Man's Dream | Cap'n Warren's Wards | Trent's Trust And Other Stories | | Mudge And Her Chicks | Memoir Of The Reverend Samuel Barrett | Stray Poems | Masterplots Ii | M.a.r.s. Patrol Total War | Why I Hate Israel | The Answers | A Theory Of Supply Chains | Frontiers Of Fundamental Physics | El Cuento De La U / The Story Of U | L'analyse Des Actions Et Des Discours En Situation De Travail | Introduction A L'histoire Generale E Politique De L'univers V4 | Jean Baudrillard - Selected Writings | Heart Warming And Inspirational Book Of Poems | Good Citizens | Greek Sculpture | Columbus, 1492-1892 | A Commemoration On The Life And Death Of The Right Honourable, Sir Christopher Hatton, Knight, Late | Deviant Behavior & Build Own Crsecompass Pk | Business English Pair Work 2 | more...
Your Recent Searches (click to search again)
| steven r radosevich henry greenleaf pearson henry noble day vernor vinge gearoid reidy | mark lerner suma narayana reddy g narayana reddy arora r k j d salinger n zhong |
Book: Algebraic Methodology And Software Technology by Vangular S. Alagar, Maurice Nivat, V. S. Alagar
ISBN Number: 3540600434, 9783540600435, 978-3540600435