Search - List of Books by E.-R Olderog

Total Books: 3
Nets Terms and Formulas Three Views of Concurrent Processes and their Relationship
2005 - Nets Terms and Formulas Three VIews of Concurrent Processes and Their Relationship [Cambridge Tracts in Theoretical Computer Science] (Paperback)Hardcover
ISBN-13: 9780521018456
ISBN-10: 0521018455
Genre: Computers & Technology
  ?

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
  ?

Nets Terms and Formulas Three Views of Concurrent Processes and their Relationship
1991 - Nets Terms and Formulas Three VIews of Concurrent Processes and Their Relationship [Cambridge Tracts in Theoretical Computer Science] (Hardcover)Paperback
ISBN-13: 9780521400442
ISBN-10: 0521400449
Genres: Computers & Technology, Science & Math
  ?