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 - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540196358 - 19 de novembro de 1990
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
R$ 315,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 5 - 11 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
Adicione à sua lista de desejos do iMusic

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

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