Clicky

Formal definition of programming languages, with an application to the definition of ALGOL 60 by J. W. de Bakker and similar books you'll love - Bookscovery

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

Buy at: Bookshop.org Amazon

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

J. W. de Bakker

Recent activity

Rate this book to see your activity here.

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

Bookscovery readers who liked Formal definition of programming languages, with an application to the definition of ALGOL 60 also like A Decade of concurrency, Control flow semantics and Formal definition of programming languages. How many of these have you read?

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

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

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 Formal definition of programming languages, with an application to the definition of ALGOL 60

Please sign in to leave a comment