adicionar à lista de desejos
Software Specification
A Comparison Of Formal Methods
language: english
Publisher:
INTELLECT BOOKS, May of 1995 ‧
see product details
SYNOPSIS
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.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9781567500332 |
| Publisher: | INTELLECT BOOKS |
| Release Date: | May of 1995 |
| Language: | English |
| Cover: | Hardcover |
| Pages: | 200 |
| Format: | Book |
| Collection: | Praeger Security International |
| Categories: |
Books in English
>
Computing
>
Schedule
Books in English > Others |
| EAN: | 9781567500332 |
BOOKS FROM THE SAME COLLECTION
-
Confronting China30%BLOOMSBURY PUBLISHING PLC27,43€
39,19€free shipping -
imagem não disponívelForgetting How To WinForgetting How To Win30%BLOOMSBURY PUBLISHING PLC75,71€
108,15€free shipping
-
Software SpecificationINTELLECT BOOKS22,67€free shipping
-
Advances In ComputersELSEVIER SCIENCE PUBLISHING CO INC121,67€
-
Software SpecificationINTELLECT BOOKS22,67€free shipping
-
Software SpecificationINTELLECT BOOKS22,67€free shipping