Real-Time Systems : Formal Specification and Automatic Verification
Ernst-Rudiger Olderog
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)
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt
Item not Available
Format: Book (Hardback)
£89.99
£73.75
Item not Available
Book (Hardback)
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt
Download - Immediately Available
Format: eBook (PDF)