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

Conte aos seus amigos sobre este item:

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

Preço

$ 55,49

excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 9 - 15 de dez

Presentes de Natal podem ser trocados até 31 de janeiro

O que dizem nossos clientes:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Peter Muller

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	Inglês