
Conte aos seus amigos sobre este item:
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 - Workshops in Computing Edition. Ed. edition
Dan Craigen
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 - Workshops in Computing Edition. Ed. edition
Dan Craigen
The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com puter Systems (FM89} was an invitational workshop that brought together repre sentatives from the research, commercial and governmental spheres of Canada, the United Kingdom, and the United States.
258 pages, 1 black & white illustrations, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 19 de novembro de 1990 |
ISBN13 | 9783540196358 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 248 |
Dimensões | 170 × 244 × 14 mm · 417 g |
Idioma | German |
Editor | Craigen, Dan |
Ver tudo de Dan Craigen ( por exemplo Paperback Book e Hardcover Book )