Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report - Couverture souple

Moller, Bernhard; Partsch, Helmut

 
9780387574998: Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report
Couverture souple
ISBN 10 : 0387574999 ISBN 13 : 9780387574998
Editeur : Springer Nature, 1993

Synopsis

Formal Program Development Presenting the results of a contemporary symposium on formal program development, this volume focuses on systematic approaches to computer programming and the appropriate concepts and notations required to support these approaches. Full description

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

Éditeur
Springer Nature
Date d'édition
1993
Langue
anglais
ISBN 10 
0387574999
ISBN 13 
9780387574998
Reliure
Broché
Éditeur
Schuman Steve
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783540574996: Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report

Edition présentée

ISBN 10 :  3540574999 ISBN 13 :  9783540574996
Editeur : Springer, 2008
Couverture souple