Articles liés à 4th Refinement Workshop: Proceedings of the 4th Refinement...

4th Refinement Workshop: Proceedings of the 4th Refinement Workshop, Organised by Bcs-Facs, 9-11 January 1991, Cambridge - Couverture souple

 
9780387196572: 4th Refinement Workshop: Proceedings of the 4th Refinement Workshop, Organised by Bcs-Facs, 9-11 January 1991, Cambridge
Couverture souple
ISBN 10 : 0387196579 ISBN 13 : 9780387196572

Synopsis

4th Refinement Workshop Contains the papers from a Refinement Workshop, organized by the British Computer Society in Cambridge, 1991. "Refinement" describes the systematic and formal methodology of specifying hardware and software and transforming the specifications into designs and implementations.

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

Langue
anglais
ISBN 10 
0387196579
ISBN 13 
9780387196572
Reliure
Broché
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783540196570: 4th Refinement Workshop: Proceedings Of The 4Th Refinement Workshop, Organised By Bcs-Facs, 9-11 January 1991, Cambridge (Workshops In Computing)

Edition présentée

ISBN 10 :  3540196579 ISBN 13 :  9783540196570
Editeur : Springer, 1991
Couverture souple