Data Refinement: Model-Oriented Proof Methods and Their Comparison

Roever, Willem-Paul de Engelhardt, Kai

Ouvrage indisponible

Éditeur
Cambridge University Press
Pages
436
Parution
décembre 2008
Format
Livre broché
Langue
Anglais
Dimensions
229 × 152 × 25 cm
EAN
9780521103503
  • Résumé

Graduate text in formal methods in computer science.
Bio de l'auteur
Sommaire / contenu
Nous vous suggérons aussi
Retour en haut de page