The book store at your door!
Theoretical Aspects Of Computer Software
(Paperback - 28081991)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: Theoretical Aspects Of Computer Software
TACS'91 is the first International Conference on Theoretical Aspects of Computer Science held at Tohoku University, Japan, in September 1991. This volume contains 37 papers and an abstract for the talks presented at the conference. TACS'91 focused on theoretical foundations of programming, and theoretical aspects of the design, analysis and implementation of programming languages and systems. The following range of topics is covered: logic, proof, specification and semantics of programs and languages; theories and models of concurrent, parallel and distributed computation; constructive logic, category theory, and type theory in computer science; theory-based systems for specifying, synthesizing, transforming, testing, and verifying software.
No Reviews Yet! Be the first one to review this book.
Details of Book: Theoretical Aspects Of Computer Software Book: Theoretical Aspects Of Computer Software
Author: Takayasu Ito, Albert R. Meyer, T. Ito
ISBN:
ISBN-13:
Binding: Paperback
Publishing Date: 28081991
Publisher: Springer
Number of Pages: 788
Language: English
Author: Takayasu Ito, Albert R. Meyer, T. Ito
ISBN:
3540544151
ISBN-13:
9783540544159
,978-3540544159
Binding: Paperback
Publishing Date: 28081991
Publisher: Springer
Number of Pages: 788
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.comImplementing Evidence-based Academic Interventions In School Settings | Declamation On The Nobility And Preeminence Of The Female Sex | The Project Workout | You Can't Keep Slope Down | Wanted | The History Of The Study Of Landforms | Union And Strength | The Golden Treasury Of Irish Songs And Lyrics | La Conquete D'une Cuisiniere I | John Wesley | Central Serotonin Receptors And Psychotropic Drugs | Aristotle | The House By The Brook | Memorable Japanese Motorcycles - 1959-1996 | Direct Digital Synthesizers | Compelled To Excel | From The Palmer Raids To The Patriot Act | Customs Modernization Initiatives | Handbook Of Analytical Therapeutic Drug Monitoring And Toxicology | The Volunteer | The Coldest Winter | Little Mr. Bouncer | Ludovic And Gertrude | Life And Times Of Washington Volume One, Part Two | The First One Is Free | The Real America In Romance, With Reading Courses V1 | Handbook Of Proteomic Methods | Curious George Takes A Train | Two Wrongs Don't Make A Right | Puffins | Where The Steps Were | Between Darkness And Daylight | Advaitasiddhi Of Madhusudan Saraswati | La Saga/fuga De J. B. | The Russian Mind Since Stalin's Death | Not Normal, Illinois | Unconventional, Volume Iii | Picture Tales From Welsh Hills | The Praises Of Israel, An Introduction To The Study Of The Psalms | A Christmas Carol | History Of Christian Martyrdom, From The Commencement Of Christianity, To The Latest Periods Of Pagan And Popish Persecution | Odyssey Of Homer | Life And Letters Of Elizabeth Prentiss ... | more...
Your Recent Searches (click to search again)
| b a carter s a b suhrawardy james turnbull doug moench gail felton | don p wolf esol maurice malingue e phillips oppenheim sue c smith |
Book: Theoretical Aspects Of Computer Software by Takayasu Ito, Albert R. Meyer, T. Ito
ISBN Number: 3540544151, 9783540544159, 978-3540544159