Modeling in Event-B : system and software engineering

Modeling in Event-B : system and software engineering

Enregistré dans:
Détails bibliographiques
Auteur principal : Abrial Jean-Raymond (Auteur)
Format : Livre
Langue : anglais
Titre complet : Modeling in Event-B : system and software engineering / Jean-Raymond Abrial
Publié : Cambridge, New York, Melbourne : Cambridge University Press , 2010
Description matérielle : 1 vol. (XXVI-586 p.)
Sujets :
Ordinateurs > Programmation
Logique mathématique
B (méthode formelle)

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Rez-de-chaussée, salle 2 004.015 ABR Empruntable Disponible
Rez-de-chaussée, salle 2 004.015 ABR Empruntable Disponible
Rez-de-chaussée, salle 2 004.015 ABR Empruntable Disponible