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

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

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

Sinopsis

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)

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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)

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
IEEE
Año de publicación
2001
Idioma
Inglés
ISBN 10 
0769508227
ISBN 13 
9780769508221
Encuadernación
Tapa blanda
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  0769508235 ISBN 13:  9780769508238
Editorial: Ieee
Tapa blanda