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