Verification of Sequential and Concurrent Programs
Published on 9. July 1991
Book
Hardback
441 pages
978-0-387-97532-0 (ISBN)
More details
Series
Language
English
Place of publication
United States
Product notice
sewn/stitched
Cloth over boards
Weight
775 gr
ISBN-13
978-0-387-97532-0 (9780387975320)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
New editions
Krzysztof R. Apt | Ernst-Rüdiger Olderog
Verification of Sequential and Concurrent Programs
Book
05/1997
2nd Edition
Springer
€85.59
Article exhausted; check for reprint
Additional editions
Krzysztof R. Apt | Ernst-Rüdiger Olderog
Verification of Sequential and Concurrent Programs
E-Book
03/2013
Springer
€85.59
Available for download