B-book, The: Assigning Programs to Meanings

Abrial, J-.R.

Ouvrage indisponible

Éditeur
Cambridge University Press
Pages
816
Parution
novembre 2005
Format
Livre broché
Langue
Anglais
Dimensions
247 × 174 × 41 cm
EAN
9780521021753
  • Résumé

The definitive book on the B Method; essential for all working in formal methods and safety-critical software.
Bio de l'auteur
Sommaire / contenu
Nous vous suggérons aussi
Retour en haut de page