Springer
Symposium on Semantics of Algorithmic Languages (English, E. Engeler)
₹4,511
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
Axiom systems for simple assignment statements.- A property of linear conditionals.- Formalization of storage properties.- Program schemes, programs and logic.- Algebraic theories and program schemes.- Structure and meaning of elementary programs.- Procedures and parameters: An axiomatic approach.- Semantics of algol-like statements.- Proving correctness of implementation techniques.- Examples of formal semantics.- Experience with inductive asser…
ISBN: 9783540053774
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540053774 |
| ISBN-10 | 3540053778 |
| Author | E. Engeler |
