J. W. de Bakker
J. W. de Bakker
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryCF
Control flow semantics
cover - Image source: Open LibraryAD
A Decade of concurrency
cover - Image source: Open LibraryLP
Logic programming languages
cover - Image source: Open LibraryTY
Ten years of concurrency semantics
cover - Image source: Open LibrarySR
Stepwise refinement of distributed systems
cover - Image source: Open LibraryLF
Languages for parallel architectures
cover - Image source: Open LibraryLT
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
cover - Image source: Open LibraryP
PARLE
cover - Image source: Open LibraryP
PARLE
cover - Image source: Open LibraryMA
Mathematics and computer science
cover - Image source: Open LibraryMT
Mathematical theory of program correctness
cover - Image source: Open LibraryFD
Formal definition of programming languages
cover - FOFoundations of computer science IVJ. W. de Bakker
Foundations of computer science IV
no cover - FOFoundations of computer science...J. W. de Bakker
Foundations of computer science III
no cover - FOFoundations of computer science IIJ. W. de Bakker
Foundations of computer science II
no cover - FOFoundations of computer scienceJ. W. de Bakker
Foundations of computer science
no cover - RPRecursive proceduresJ. W. de Bakker
Recursive procedures
no cover - OCOn convex sublattices of distri...J. W. de Bakker
On convex sublattices of distributive lattices
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Control flow semantics
- Open Work
A Decade of concurrency
- Open Work
Logic programming languages
- Open Work
Ten years of concurrency semantics
- Open Work
Stepwise refinement of distributed systems
- Open Work
Languages for parallel architectures
- Open Work
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
- Open Work
PARLE
- Open Work
PARLE
- Open Work
Mathematics and computer science
- Open Work
Mathematical theory of program correctness
- Open Work
Formal definition of programming languages
- Open Work
Foundations of computer science IV
- Open Work
Foundations of computer science III
- Open Work
Foundations of computer science II
- Open Work
Foundations of computer science
- Open Work
Recursive procedures
- Open Work
On convex sublattices of distributive lattices