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

IEEE International Conference On Formal Engineering Methods (3rd : 2000 : York, England)

 
9780769508221: Formal Engineering Methods (Icfem 2000): 3rd IEEE International Conference
Softcover
ISBN 10: 0769508227 ISBN 13: 9780769508221
Verlag: IEEE, 2001

Inhaltsangabe

Invited speakers explore the use of mathematics in software engineering, legacy code, and challenges and results of offering formal verification capabilities for industry standard case tools. The other 19 papers cover development, structuring, algebraic approaches, verification, formal and informal notations, retrenchment, the theory and practice of Z, and animation. There is no subject index. Annotation c. Book News, Inc., Portland, OR (booknews.com)

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

Verlag
IEEE
Erscheinungsdatum
2001
Sprache
Englisch
ISBN 10 
0769508227
ISBN 13 
9780769508221
Einband
Taschenbuch
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