adicionar à lista de desejos
Software Specification
A Comparison Of Formal Methods
idioma: inglês
Editor:
INTELLECT BOOKS, maio de 1995 ‧
ver detalhes do produto
SINOPSE
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.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781567500332 |
| Editor: | INTELLECT BOOKS |
| Data de Lançamento: | maio de 1995 |
| Idioma: | Inglês |
| Encadernação: | Capa dura |
| Páginas: | 200 |
| Tipo de produto: | Livro |
| Coleção: | Praeger Security International |
| Classificação Temática: |
Livros em Inglês
>
Informática
>
Programação
Livros em Inglês > Outros |
| EAN: | 9781567500332 |
LIVROS DA MESMA COLEÇÃO
-
Confronting China30%BLOOMSBURY PUBLISHING PLC27,43€
39,19€portes grátis -
imagem não disponívelForgetting How To WinForgetting How To Win30%BLOOMSBURY PUBLISHING PLC75,71€
108,15€portes grátis
-
Software SpecificationINTELLECT BOOKS22,67€portes grátis
-
Advances In ComputersELSEVIER SCIENCE PUBLISHING CO INC121,67€
-
Software SpecificationINTELLECT BOOKS22,67€portes grátis
-
Software SpecificationINTELLECT BOOKS22,67€portes grátis