1997 - 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 [Texts and Monographs in Computer Science] (Hardcover) ISBN-13: 9780387975320 ISBN-10: 0387975322 Genres: Computers & Technology, Reference, Science & Math ? Programming Concepts Methods and Calculi (Paperback) ISBN-13: 9780444820204 ISBN-10: 0444820205 Genre: Science & Math ? Verification of Sequential and Concurrent Programmes [Texts and Monographs in Computer Science] (Hardcover) ISBN-13: 9783540975328 ISBN-10: 3540975322 ? |