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
39,14€
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.

Da mesma coleção

Confronting China
20%
portes grátis
20% Cartão Leitor Bertrand
39,19€
Poupe 7,84€
BLOOMSBURY PUBLISHING PLC
Forgetting How To Win
20%
portes grátis
20% Cartão Leitor Bertrand
108,15€
Poupe 21,63€
BLOOMSBURY PUBLISHING PLC
Software Specification
A Comparison Of Formal Methods
ISBN:
9781567500332
Ano de edição:
05-1995
Editor:
INTELLECT BOOKS
Idioma:
Inglês
Encadernação:
Capa dura
Páginas:
200
Tipo de Produto:
Livro
EAN:
9781567500332
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.