Specification and Proof in Real Time CSP

Davies, Jim

Ouvrage indisponible

Éditeur
Cambridge University Press
Pages
200
Parution
mai 1993
Format
Cartonné
Langue
Anglais
Dimensions
247 × 174 × 13 cm
EAN
9780521450553
  • Résumé

The research contained in this 1993 book represents work on the specification and verification of real-time systems using CSP.
Bio de l'auteur
Sommaire / contenu
Nous vous suggérons aussi
Retour en haut de page