Skip to main content
PBS logo
 
 

Search - List of Books by Krzystof R. Apt

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