Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> J. W. de Bakker
J. W. de Bakker
All books by J. W. de Bakker
(
Displaying 19 Books
)
A Decade of concurrency
J. W. de Bakker
Control flow semantics
J. W. de Bakker
Formal definition of programming languages
J. W. de Bakker
Formal definition of programming languages, with an application to the definition of ALGOL 60
J. W. de Bakker
Foundations of computer science
J. W. de Bakker
Foundations of computer science II
Krzysztof R. Apt
Foundations of computer science III
J. W. de Bakker
Foundations of computer science IV
J. W. de Bakker
Languages for parallel architectures
J. W. de Bakker
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
Willem-Paul de Roever
Logic programming languages
Krzysztof R. Apt
Mathematical theory of program correctness
J. W. de Bakker
Mathematics and computer science
J. W. de Bakker
On convex sublattices of distributive lattices
J. W. de Bakker
PARLE
J. W. de Bakker
PARLE
J. W. de Bakker
Recursive procedures
J. W. de Bakker
Stepwise refinement of distributed systems
J. W. de Bakker
Ten years of concurrency semantics
J. W. de Bakker
Looking for another book by J. W. de Bakker?
Search for the book
by title.
