•  Retrait gratuit dans votre magasin Club
  •  7.000.000 titres dans notre catalogue
  •  Payer en toute sécurité
  •  Toujours un magasin près de chez vous     
  •  Retrait gratuit dans votre magasin Club
  •  7.000.000 titres dans notre catalogue
  •  Payer en toute sécurité
  •  Toujours un magasin près de chez vous

Software Specification

A Comparison of Formal Methods

Marvin V Zelkowitz, Jim Purtilo, John D Gannon
Livre relié | Anglais
40,45 €
+ 80 points
Format
Date de disponibilité inconnue
Passer une commande en un clic
Payer en toute sécurité
Livraison en Belgique: 3,99 €
Livraison en magasin gratuite

Description

Based on material used by the authors in their teaching, 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, thus allowing professionals to write programs that are easier to reason about informally. The basic technology presented should be of use in all programming environments.

Spécifications

Parties prenantes

Auteur(s) :
Editeur:

Contenu

Nombre de pages :
249
Langue:
Anglais

Caractéristiques

EAN:
9781567500332
Date de parution :
01-05-95
Format:
Livre relié
Format numérique:
Genaaid
Poids :
512 g

Les avis