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: | 9781567500349 |
| Editor: | INTELLECT BOOKS |
| Data de Lançamento: | maio de 1995 |
| Idioma: | Inglês |
| Encadernação: | Capa mole |
| Páginas: | 200 |
| Tipo de produto: | Livro |
| Classificação Temática: |
Livros em Inglês
>
Informática
>
Programação
Livros em Inglês > Outros |
| EAN: | 9781567500349 |
-
Software SpecificationINTELLECT BOOKS27,40€portes grátis
-
Advances In ComputersELSEVIER SCIENCE PUBLISHING CO INC121,67€
-
Software SpecificationINTELLECT BOOKS27,40€portes grátis
-
Software SpecificationINTELLECT BOOKS27,40€portes grátis