Formal Methods for Trustworthy Computer Systems: Report from Fm89--A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, ... Halifax, Canada (Workshops in Computing) - Tapa blanda

 
9780387196350: Formal Methods for Trustworthy Computer Systems: Report from Fm89--A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, ... Halifax, Canada (Workshops in Computing)
Tapa blanda
ISBN 10: 0387196358 ISBN 13: 9780387196350

Esta edición ISBN ya no está disponible.

Idioma
Inglés
ISBN 10 
0387196358
ISBN 13 
9780387196350
Encuadernación
Tapa blanda
Número de páginas
248
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9783540196358: Formal Methods for Trustworthy Computer Systems (Fm89): Report From Fm89: A Workshop On The Assessment Of Formal Methods For Trustworthy Computer . . ... Systems 23-27 July 1989, Halifax, Canada

Edición Destacada

ISBN 10:  3540196358 ISBN 13:  9783540196358
Editorial: Springer, 1990
Tapa blanda