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

Name: Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science
Price: 984 MXN
Availability: OutOfStock
Author: Peter Muller

Precio

Mex$ 984

sin IVA

Pedido desde almacén remoto

Entrega prevista 13 - 22 de abr.

Nuestros clientes opinan:

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

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de 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

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	23 de enero de 2002
ISBN13	9783540431671
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	298
Dimensiones	155 × 235 × 16 mm · 439 g
Lengua	Inglés