Clicky

Foundations of computer science II by Krzysztof R. Apt and similar books you'll love - Bookscovery

Home > Authors > Krzysztof R. Apt > Foundations of computer science II

Buy at: Bookshop.org Amazon

Foundations of computer science II

Krzysztof R. Apt, J. W. de Bakker

Recent activity

Rate this book to see your activity here.

19 Books Similar to Foundations of computer science II by Krzysztof R. Apt

Bookscovery readers who liked Foundations of computer science II also like Logic programming languages, A Decade of concurrency and Control flow semantics. How many of these have you read?

Logic programming languages by Krzysztof R. Apt

Cover of Logic programming languages
Buy this book at:
Bookshop.org Amazon

A Decade of concurrency by J. W. de Bakker

Cover of A Decade of concurrency
Buy this book at:
Bookshop.org Amazon

Control flow semantics by J. W. de Bakker

Cover of Control flow semantics
Buy this book at:
Bookshop.org Amazon

Formal definition of programming languages by J. W. de Bakker

Cover of Formal definition of programming languages
Buy this book at:
Bookshop.org Amazon

Formal definition of programming languages, with an application to the definition of ALGOL 60 by J. W. de Bakker

Cover of Formal definition of programming languages, with an application to the definition of ALGOL 60
Buy this book at:
Bookshop.org Amazon

Foundations of computer science by J. W. de Bakker

Cover of Foundations of computer science
Buy this book at:
Bookshop.org Amazon

Foundations of computer science III by J. W. de Bakker

Cover of Foundations of computer science III
Buy this book at:
Bookshop.org Amazon

Foundations of computer science IV by J. W. de Bakker

Cover of Foundations of computer science IV
Buy this book at:
Bookshop.org Amazon

Languages for parallel architectures by J. W. de Bakker

Cover of Languages for parallel architectures
Buy this book at:
Bookshop.org Amazon

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency by Willem-Paul de Roever

Cover of Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
Buy this book at:
Bookshop.org Amazon

Logic programming languages by Krzysztof R. Apt

Cover of Logic programming languages
Buy this book at:
Bookshop.org Amazon

Mathematical theory of program correctness by J. W. de Bakker

Cover of Mathematical theory of program correctness
Buy this book at:
Bookshop.org Amazon

Mathematics and computer science by J. W. de Bakker

Cover of Mathematics and computer science
Buy this book at:
Bookshop.org Amazon

On convex sublattices of distributive lattices by J. W. de Bakker

Cover of On convex sublattices of distributive lattices
Buy this book at:
Bookshop.org Amazon

PARLE by J. W. de Bakker

Cover of PARLE
Buy this book at:
Bookshop.org Amazon

PARLE by J. W. de Bakker

Cover of PARLE
Buy this book at:
Bookshop.org Amazon

Recursive procedures by J. W. de Bakker

Cover of Recursive procedures
Buy this book at:
Bookshop.org Amazon

Stepwise refinement of distributed systems by J. W. de Bakker

Cover of Stepwise refinement of distributed systems
Buy this book at:
Bookshop.org Amazon

Ten years of concurrency semantics by J. W. de Bakker

Cover of Ten years of concurrency semantics
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Foundations of computer science II

Please sign in to leave a comment