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

IEEE Computer Society

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

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
I.E.E.E.Press
Erscheinungsdatum
2000
Sprache
Englisch
ISBN 10 
0769508243
ISBN 13 
9780769508245
Einband
Taschenbuch
Anzahl der Seiten
222
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  0769508235 ISBN 13:  9780769508238
Softcover