Verification of Sequential and Concurrent Programs [2nd ed - Graduate Texts in Computer Science] (Hardcover) ISBN-13: 9780387948966 ISBN-10: 0387948961 Genres: Computers & Technology, Substores ? |
Verification of Sequential and Concurrent Programs [2nd ed - Graduate Texts in Computer Science] (Hardcover) ISBN-13: 9780387948966 ISBN-10: 0387948961 Genres: Computers & Technology, Substores ? |