Handbook model checking (1 Ergebnisse)

Gebunden. Zustand: New. Comprehensive introduction and overview of the key foundational topicsExcellent reference for researchers and graduate students engaged with formal methods and verification toolsEditors and authors among the world s leading researchers in t.