Computer-aided Verification: a Special Issue of Formal Methods in System Design on Computer-aided Verification - Robert Kurshan - Livros - Kluwer Academic Publishers - 9780792392859 - 31 de dezembro de 1992
Caso a capa e o título não sejam correspondentes, considere o título como correto

Robert Kurshan
Computer-aided Verification: a Special Issue of Formal Methods in System Design on Computer-aided Verification Reprinted from Formal Methods in System Design, 1: edition

Preço
R$ 986,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 23 de set - 5 de out
Receba avisos sobre novos lançamentos de Robert Kurshan

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

Também disponível como:

A collection of papers that begins with a general survey of hardware verification methods. It starts with the issue of verification itself and develops a taxonomy of verification methodologies, focusing upon various advances. It presents a generic format for graphical presentations of coordinating systems represented by automata.

142 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 31 de dezembro de 1992
ISBN13 9780792392859
Editoras Kluwer Academic Publishers
Páginas 142
Dimensões 156 × 234 × 9 mm   ·   390 g
Editor Kurshan, Robert

Mais da mesma editora

Ver tudo de Robert Kurshan