Verification of Sequential and Concurrent Programs - 9781447125136

Rattray - Specification and Verification of Concurrent Systems - New p - X555z

Verification of Sequential and Concurrent Programs (Texts in Computer Scienc...

Apt - Verification of Sequential and Concurrent Programs - New hardbac - X555z

Verification of Sequential and Concurrent Programs K. R., Olderog

Concurrent Programming: Algorithms, Principles, and Foundations, Raynal, Michel,

Verification of Sequential and Concurrent Programs - 9781848827448

D. Hachtel - Logic Synthesis and Verification Algorithms - New paperba - X555z