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

IEEE Computer Society

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

Tapa blanda

ISBN 10: 0769508243 ISBN 13: 9780769508245

Editorial: I.E.E.E.Press, 2000

Esta edici�n ISBN ya no est� disponible.

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

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

Rese�a del editor

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

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

Editorial: I.E.E.E.Press
A�o de publicaci�n: 2000
Idioma: Ingl�s
ISBN 10: 0769508243
ISBN 13: 9780769508245
Encuadernaci�n: Tapa blanda
N�mero de p�ginas: 222
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

IEEE, 2001 (Tapa blanda)