Sell, buy or rent Jacobus W. De Bakker textbooks
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 (Lecture Notes in Computer Science, 354)
by
Jacobus W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
ISBN-13: 9783540510802
ISBN-10: 354051080X
Edition: 1989
Publisher:
Springer
Format:
Paperback
728 pages
Current Trends in Concurrency: Overviews and Tutorials (Lecture Notes in Computer Science, 224)
by
Jacobus W. De Bakker, Willem-Paul De Roever, Grzegorz Rozenberg
ISBN-13: 9783540164883
ISBN-10: 354016488X
Edition: 1986
Publisher:
Springer
Format:
Paperback
732 pages