Search - List of Books by Krzystof R. Apt

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