Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science - Peter Muller - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540431671 - 23 de janeiro de 2002
Caso a capa e o título não sejam correspondentes, considere o título como correto

Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science 2002 edition

Peter Muller

Preço
$ 56,49
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

Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science 2002 edition

Two aspects are crucial to widen the application area of formal methods: - Formal speci?cation techniques have to be smoothly integrated into the software and program development process. Starting from these considerations, Peter Muller has developed new te- niques for the formal speci?cation and veri?cation of object-oriented so- ware.

298 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 23 de janeiro de 2002
ISBN13 9783540431671
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 298
Dimensões 155 × 235 × 16 mm   ·   439 g
Idioma English  
Mostrar tudo

Mais por Peter Muller

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