Formal Methods for Trustworthy Computer Systems: Report from Fm89--A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 July 1989, Halifax, Canada - Couverture souple

 
9780387196350: Formal Methods for Trustworthy Computer Systems: Report from Fm89--A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 July 1989, Halifax, Canada
Couverture souple
ISBN 10 : 0387196358 ISBN 13 : 9780387196350

L'édition de cet ISBN n'est malheureusement plus disponible.

Langue
anglais
ISBN 10 
0387196358
ISBN 13 
9780387196350
Reliure
Broché
Nombre de pages
248
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783540196358: Formal Methods for Trustworthy Computer Systems (Fm89): Report From Fm89: A Workshop On The Assessment Of Formal Methods For Trustworthy Computer . . . Halifax, Canada (Workshops In Computing)

Edition présentée

ISBN 10 :  3540196358 ISBN 13 :  9783540196358
Editeur : Springer, 1990
Couverture souple