Programming Concepts and Methods: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12 June 1998, Shelter Island, New York, USA - Ifip Advances in Information and Communication Technology - Chapman - Livros - Chapman and Hall - 9780412837609 - 31 de maio de 1998
Caso a capa e o título não sejam correspondentes, considere o título como correto

Programming Concepts and Methods: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12 June 1998, Shelter Island, New York, USA - Ifip Advances in Information and Communication Technology

Chapman

Preço
S$ 271,50
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 23 - 29 de jul

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

Programming Concepts and Methods: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12 June 1998, Shelter Island, New York, USA - Ifip Advances in Information and Communication Technology

Discusses some of the key issues in programming concepts and methods, with an emphasis on formal specification, formal verification and mathematical foundations. This book covers a number of topics in this field, including compositional approaches to specification and verification, the design of verification support tools and more.

486 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 31 de maio de 1998
ISBN13 9780412837609
Editoras Chapman and Hall
Páginas 486
Dimensões 156 × 234 × 26 mm   ·   870 g
Idioma English  
Editor De Roever, Willem-paul
Editor Gries, David
Mostrar tudo

Mais por Chapman

Outros também compraram

Ver tudo de Chapman ( por exemplo Book , Hardcover Book , Paperback Book e CD )