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

 
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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre