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 - Brossura

 
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
Brossura
ISBN 10: 0387196358 ISBN 13: 9780387196350

Al momento non sono disponibili copie per questo codice ISBN.

Lingua
Inglese
ISBN 10 
0387196358
ISBN 13 
9780387196350
Rilegatura
Copertina flessibile
Numero di pagine
248
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  3540196358 ISBN 13:  9783540196358
Casa editrice: Springer, 1990
Brossura