•  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
33,45 €
+ 66 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

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.

Spécifications

Parties prenantes

Auteur(s) :
Editeur:

Contenu

Nombre de pages :
249
Langue:
Anglais
Collection :

Caractéristiques

EAN:
9781567500349
Date de parution :
01-05-95
Format:
Livre broché
Format numérique:
Trade paperback (VS)

Les avis