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

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

Preço
R$ 296,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 12 de out
Receba avisos sobre novos lançamentos de Dan Craigen

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

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 Alemão  
Editor Craigen, Dan

Mais da mesma editora

Ver tudo de Dan Craigen