logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Verification of Sequential and Concurrent Programs - Krzysztof R Apt, Frank S De Boer, Ernst-R Diger Olderog
Add cover
Verification of Sequential and Concurrent Programs
by: (author) (author) (author)
Format: paperback
ISBN: 9781848827462 (1848827466)
Publisher: Springer
Pages no: 528
Edition language: English
Bookstores:
Books by Krzysztof R. Apt
Books by Frank S De Boer
Books by Ernst-R Diger Olderog
Share this Book
Need help?