El libro está agotado actualmente

Specification and verification of object oriented software components

Autores

Andreas Roth

Parámetros

Informática, IT, Programación

Más información sobre el libro

This work presents a flexible methodology for formally specifying and deductively verifying object-oriented components. It is based on a simple notion of program correctness. Correctness can be achieved with a novel system of proof obligations, which serve as input to a suitable theorem prover.

Compra de libros

Specification and verification of object oriented software components, Andreas Roth

Idioma
Publicado en: 2006
product-detail.submit-box.info.binding: (Tapa blanda)

Te avisaremos por correo electrónico en cuanto lo localicemos.

Métodos de pago

Nadie lo ha calificado todavía.Añadir reseña

Título: Specification and verification of object oriented software components
Idioma: Inglés
Autores: Andreas Roth
Editorial: Univ.-Verl. Karlsruhe
Publicado en: 2006
Formato: Tapa blanda
ISBN10: 3866440421
ISBN13: 9783866440425
Etiquetas: Informática, IT, Programación
Descripción: This work presents a flexible methodology for formally specifying and deductively verifying object-oriented components. It is based on a simple notion of program correctness. Correctness can be achieved with a novel system of proof obligations, which serve as input to a suitable theorem prover.