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

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

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

Verification of Sequential and Concurrent Programs - 9781848827448

Verification of Sequential and Concurrent Programs - 9781447125136

A Science of Concurrent Programs by Leslie Lamport Hardcover Book

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

A Science of Concurrent Programs - 9781009719858