Specification and Proof in Real Time CSP

Davies, Jim

Ouvrage indisponible

Éditeur
Cambridge University Press
Pages
198
Parution
mai 1993
Format
Cartonné
Langue
Anglais
Dimensions
247 × 174 × 14 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