Specification and Transformation of Programs: A Formal Approach to Software Development (Springer Texts in Electrical Engineering)
Price not available for France
You can still browse on Amazon. Try another country above.
Book Details
Author(s)
Helmut A. Partsch
Publisher
Springer
ISBN / ASIN
3540525890
ISBN-13
9783540525899
Marketplace
France 🇫🇷
Ratings & Reviews
No reviews yet — be the first!
No reviews yet.
Description
An introductory textbook on formal specification and transformational programming as an approach to software development.
