Systems and software verification
model-checking techniques and tools
كتاب من تأليف: Bérard, Béatrice ; Bidoit, Michel ; نشر في: 2001
طبعة:
Berlin:
Springer
Springer
لغة:
إنجليزية
الوصف المادي:
190 p. ill.
;24 cm
ISBN: 3540415238
ملاحظة: Trad. de : "Vérification de logiciels : techniques et outils du model-checking", Bibliogr. p.179-182. Index