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.