Join thousands of book lovers
Sign up to our newsletter and receive discounts and inspiration for your next reading experience.
By signing up, you agree to our Privacy Policy.You can, at any time, unsubscribe from our newsletters.
Specification and Transformation of Programs
- A Formal Approach to Software Development
part of the Monographs in Computer Science series
- Language:
- English
- ISBN:
- 9783540523567
- Binding:
- Hardback
- Pages:
- 493
- Published:
- July 4, 1990
- Edition:
- 1990
- Dimensions:
- 178x254x28 mm.
- Weight:
- 2630 g.
Delivery:
2-3 weeks
Expected delivery: January 12, 2025
Extended return policy to January 30, 2025
Description of Specification and Transformation of Programs
"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules.
User ratings of Specification and Transformation of Programs
Rate this book
In order to rate this book you must be logged in.Others also bought..
Find similar books
The book Specification and Transformation of Programs can be found in the following categories:
You can, at any time, unsubscribe from our newsletters.
© 2024 Tales
All packages are shipped from our warehouse in the UK.
Company address: Esromgade 15, 3. - 2200 - DK
Registered company number: DK43351621
