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)
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt
Item not Available
Format: Book (Paperback / softback)
£55.00
£46.09
Item not Available
Book (Paperback / softback)
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)
Programmverifikation : Sequentielle, Parallele Und Verteilte Programme
Krzysztof R Apt
Item not Available
Format: Book (Hardback)
£25.99
£22.45
Item not Available
Book (Hardback)
Real-Time Systems : Formal Specification and Automatic Verification
Ernst-Rudiger Olderog
Download - Immediately Available
Format: eBook (PDF)