Clicky

Logic programming languages by Krzysztof R. Apt and similar books you'll love - Bookscovery

Home > Authors > Krzysztof R. Apt > Logic programming languages

Buy at: Bookshop.org Amazon

Logic programming languages

Krzysztof R. Apt, J. W. de Bakker

See on goodreads | librarything

Recent activity

Rate this book to see your activity here.

19 Books Similar to Logic programming languages by Krzysztof R. Apt

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

Foundations of computer science II by Krzysztof R. Apt

Cover of Foundations of computer science II
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 II by Krzysztof R. Apt

Cover of Foundations of computer science II
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

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 Logic programming languages

Please sign in to leave a comment