Abstract state machines, Alloy, B and Z
Second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings
Livre Ecrit par: Frappier, Marc ; Glässer, Uwe ; Khurshid, Sarfraz ; Laleau, Régine ; Reeves, Steve ; ABZ 2010 (2nd ; Orford, QC, Canada ; 2010) ; Publié en: 2010
Edition:
Berlin:
Springer
Langue:
Anglais
Collation:
1 vol. (XIV-416 p.)
;24 cm
ISBN: 3642118100
Thème
Informatique
Mots clés:
Automates mathématiques, Théorie des
Logiciels
:Développement
B (méthode formelle)
Z (méthode formelle)
Note: Notes bibliogr. Index
