Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Verification of Sequential and Concurrent Programs - 9781447125136

Verification of Sequential and Concurrent Programs by Apt Krzysztof R. Apt (Engl

Parallel and Concurrent Programming in Haskell, Marlow, Simon, Good Book

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

Verification of Sequential and Concurrent Programs - 9781848827448

Verification of Sequential and Concurrent Programs by Krzysztof R. Apt (English)

Concurrency: State Models and Java Programs By Jeff Magee,Jeff K