Specification and Transformation of Programs: A Formal Approach to Software Development (Texts & Monographs in Computer Science) - Hardcover

 
9780387523569: Specification and Transformation of Programs: A Formal Approach to Software Development (Texts & Monographs in Computer Science)

Synopsis

Specification and Transformation of Programs Provides an introduction to formal specification and transformational programming. Full description

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

Other Popular Editions of the Same Title