-65% OFFSpringer
Algebraic Methodology and Software Technology (English, Teodor Rus)
₹4,122₹11,710Save 65%
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 AMAST movement was initiated in 1989 with the First International C- ference on Algebraic Methodology and Software Technology (AMAST), held on May 21{23in Iowa City, Iowa, and aimed at setting the development of software technology on a mathematical basis. The virtue of the software technology en- sioned by AMAST is the capability to produce software that has the following properties: (a) it is correct and its correctness can be proved mathem…
ISBN: 9783540675303
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540675303 |
| ISBN-10 | 3540675302 |
| Author | Teodor Rus |
