Software Specification

A Comparison Of Formal Methods

de Marvin V. Zelkowitz, John D. Gannon e Jim Purtilo 

Bertrand.pt - Software Specification
idioma: Inglês
Editor: INTELLECT BOOKS
Edição: maio de 1995
32,38€
Notifiquem-me quando disponível

This volume provides a detailed comparison and study of the various methods for reasoning about software. The material offers a comprehensive understanding of which program structures are easier to manipulate by formal techniques.

Software Specification
A Comparison Of Formal Methods
ISBN:
9781567500349
Ano de edição:
05-1995
Editor:
INTELLECT BOOKS
Idioma:
Inglês
Encadernação:
Capa mole
Páginas:
200
Tipo de Produto:
Livro
EAN:
9781567500349
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.