Search - List of Books by Ernst-Rudiger Olderog

Total Books: 5
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
  ?

Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs [Texts and Monographs in Computer Science] (Hardcover)Hardcover
ISBN-13: 9780387975320
ISBN-10: 0387975322
Genres: Computers & Technology, Reference, Science & Math
  ?

Verification of Sequential and Concurrent Programmes
Verification of Sequential and Concurrent Programmes [Texts and Monographs in Computer Science] (Hardcover)Hardcover
ISBN-13: 9783540975328
ISBN-10: 3540975322
  ?