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

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

Synopsis

Specification and Transformation of Programs Provides an introduction to formal specification and transformational programming. 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