3rd IEEE International Conference on Formal Engineering Methods (Icfem 2000) - Couverture souple

IEEE Computer Society

 
9780769508245: 3rd IEEE International Conference on Formal Engineering Methods (Icfem 2000)
Couverture souple
ISBN 10 : 0769508243 ISBN 13 : 9780769508245
Editeur : I.E.E.E.Press, 2000

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

This text on engineering methods covers topics such as: development; structuring; algebraic approaches; verification; formal and informal notations; retrenchment; theory and practice; and animation.

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

Éditeur
I.E.E.E.Press
Date d'édition
2000
Langue
anglais
ISBN 10 
0769508243
ISBN 13 
9780769508245
Reliure
Broché
Nombre de pages
222
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9780769508238: Formal Engineering Methods (Icfem 2000), 3rd IEEE International Conference on

Edition présentée

ISBN 10 :  0769508235 ISBN 13 :  9780769508238
Editeur : Ieee, 2000
Couverture souple