Model Checking (Hardcover) ISBN-13: 9780262032704 ISBN-10: 0262032708 Genres: Computers & Technology, Substores ? Software Reliability Methods (Paperback) ISBN-13: 9781441928764 ISBN-10: 1441928766 Genre: Computers & Technology ? Software Reliability Methods [Texts in Computer Science] (Hardcover) ISBN-13: 9780387951065 ISBN-10: 0387951067 Genres: Computers & Technology, Substores ? |