Author

J. W. de Bakker

19 books in our library

All books by J. W. de Bakker

19 books

A Decade of concurrency

by W.-P. de Roever

Cover of A Decade of concurrency
Review
Buy this book More books like A Decade of concurrency

Stepwise refinement of distributed systems

by W.-P. de Roever

Cover of Stepwise refinement of distributed systems
Review
Buy this book More books like Stepwise refinement of distributed systems

Foundations of computer science

by J. W. de Bakker

Cover of Foundations of computer science
Review
Buy this book More books like Foundations of computer science

Foundations of computer science III

by J. van Leeuwen

Cover of Foundations of computer science III
Review
Buy this book More books like Foundations of computer science III

Logic programming languages

by J. W. de Bakker

Cover of Logic programming languages
Review
Buy this book More books like Logic programming languages

Foundations of computer science IV

by J. van Leeuwen

Cover of Foundations of computer science IV
Review
Buy this book More books like Foundations of computer science IV

Mathematics and computer science

by J. K. Lenstra

Cover of Mathematics and computer science
Review
Buy this book More books like Mathematics and computer science

Ten years of concurrency semantics

by J. W. de Bakker

Cover of Ten years of concurrency semantics
Review
Buy this book More books like Ten years of concurrency semantics

PARLE

by A. J. Nijman

Cover of PARLE
Review
Buy this book More books like PARLE

PARLE

by A. J. Nijman

Cover of PARLE
Review
Buy this book More books like PARLE

Languages for parallel architectures

by J. W. de Bakker

Cover of Languages for parallel architectures
Review
Buy this book More books like Languages for parallel architectures

Foundations of computer science II

by J. W. de Bakker

Cover of Foundations of computer science II
Review
Buy this book More books like Foundations of computer science II

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

by W.-P. de Roever

Cover of Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
Review
Buy this book More books like Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Control flow semantics

by J. W. de Bakker

Cover of Control flow semantics
Review
Buy this book More books like Control flow semantics

Mathematical theory of program correctness

by J. W. de Bakker

Cover of Mathematical theory of program correctness
Review
Buy this book More books like Mathematical theory of program correctness

On convex sublattices of distributive lattices

by J. W. de Bakker

On convex sublattices of di...
Review
Buy this book More books like On convex sublattices of distributive lattices

Recursive procedures

by J. W. de Bakker

Recursive procedures
Review
Buy this book More books like Recursive procedures

Formal definition of programming languages

by J. W. de Bakker

Formal definition of progra...
Review
Buy this book More books like Formal definition of programming languages

Formal definition of programming languages, with an application to the definition of ALGOL 60

by J. W. de Bakker

Formal definition of progra...
Review
Buy this book More books like Formal definition of programming languages, with an application to the definition of ALGOL 60

Looking for another book by J. W. de Bakker? Search by title