Monographie

Modeling in Event-B : system and software engineering / Abrial, Jean-Raymond

Type de contenu

• Texte

Titre(s)

• Modeling in Event-B : system and software engineering / Abrial, Jean-Raymond

Editeur, producteur

• Cambridge : Cambridge University Press, 2010

Description matérielle

• XXVI-586 p. ; 25 cm

ISBN

• 978-0-521-89556-9

Note sur les bibliographies et les index

• Bibliogr. en fin de chapitres

Note sur le contenu

• Manuel

Résumé ou extrait

• Sujets : calcul des séquents - systèmes critiques.

Sujet(s)

• génie logiciel
• informatique : discipline
• langage de programmation
• méthode formelle

Lien copié.

Pour une utilisation optimale, nous vous recommandons d'utiliser les navigateurs tel que Firefox, ou Edge

Build V.5.2.2 - 2ecb916194 (29/04/2026 07:35:08)