Recomienda este artículo a tus amigos:
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 Dan Craigen Edition. Ed. edition
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
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 19 de noviembre de 1990 |
| ISBN13 | 9783540196358 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 248 |
| Dimensiones | 170 × 244 × 14 mm · 417 g |
| Lengua | Alemán |
| Editor | Craigen, Dan |