Specification and Transformation of Programs: A Formal Approach to Software Development - Softcover

 
9780387525891: Specification and Transformation of Programs: A Formal Approach to Software Development

Synopsis

Specification and Transformation of Programs An introductory textbook on formal specification and transformational programming as an approach to software development. Full description

"synopsis" may belong to another edition of this title.

Other Popular Editions of the Same Title