Home ›Springer ›Recent Trends in Algebraic Development Techniques (English, Didier Bert | Christine Choppy | Peter Mosses)
Springer
Recent Trends in Algebraic Development Techniques (English, Didier Bert | Christine Choppy | Peter Mosses)
₹5,624
Inclusive of all taxes. Free shipping on orders above ₹499.
Quantity:
1
Free DeliveryAbove ₹499
7-Day ReturnEasy returns
100% AuthenticVerified product
Product Description
About the Book
The algebraic approach to system speci?cation and development, born in the 1970sas a formalmethod for abstractdata types, encompassestoday the formal design of integrated hardware and software systems, new speci?cation fra- works and programming paradigms (such as object-oriented, logic, and high- order functional programming) and a wide range of application areas (including information systems, concurrent and distributed systems). Workshops on A…
ISBN: 9783540678984
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540678984 |
| ISBN-10 | 3540678980 |
| Author | Didier Bert | Christine Choppy | Peter Mosses |
