Abstract state machines, Alloy, B and Z
Second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings
كتاب من تأليف: Frappier, Marc ; Glässer, Uwe ; Khurshid, Sarfraz ; Laleau, Régine ; Reeves, Steve ; ABZ 2010 (2nd ; Orford, QC, Canada ; 2010) ; نشر في: 2010
طبعة:
Berlin:
Springer
لغة:
إنجليزية
الوصف المادي:
1 vol. (XIV-416 p.)
;24 cm
ISBN: 3642118100
الموضوع
الإعلام الآلي
الكلمات الدالة:
Automates mathématiques, Théorie des
Logiciels
:Développement
B (méthode formelle)
Z (méthode formelle)
ملاحظة: Notes bibliogr. Index
