Verification of Sequential and Concurrent Programs
Krzysztof R. Apt
Download - Immediately Available
Format: eBook (PDF)
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt
Download - Immediately Available
Format: eBook (PDF)
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt
Download - Immediately Available
Format: eBook (PDF)