Skip to content
pandatutor® Log in
Cover of Introduction To The Theory Of Programming Languages

Introduction To The Theory Of Programming Languages

by Jean-Jacques Levy

2010

Logics and Meanings of Programs Information theory Logic design Programming languages (Electronic computers) Semantics Computer science
Read on Archive.org Open Library Toronto Public Library Libby Amazon

Read online

Reader not loading? Open it on Archive.org instead.

More like this

Process Mining

Wil M. P. van der Aalst

2011

Fundamentals of Software Engineering

Farhad Arbab

2012

The correctness-by-construction approach to programming

Derrick Kourie

2012

Integrated Formal Methods

John Derrick

2012

Concurrency theory

Howard Bowman

2006

Adapting proofs-as-programs

Martin Wirsing, Iman Hafiz Poernomo

2005