Skip to main content

Theories of Programming Cover

Theories of Programming

The Life and Works of Tony Hoare

Publisher:Association for Computing Machinery

By: Jones Cliff and Jayadev Misra

Paid access

|Feb 2025

E-Book €31.00Institutions €93.00

E-Book €31.00Institutions €93.00

Metrics

PDF ISBN: 978-1-4503-8731-6 | E-Pub ISBN: 978-1-4503-8730-9

Publisher: Association for Computing Machinery

Copyright owner: © 2021 Association for Computing Machinery

Publication date: 2025

Language: English

Pages: 450

Related subjects:

Computer sciences,

History of computer sciences

People also read

.blurhash-client-img { display: none !important; }

Effective Theories in Programming Practice

.blurhash-client-img { display: none !important; }

Modern Programming Languages: 2nd Edition

Adam Brooks Webber

.blurhash-client-img { display: none !important; }

Concurrency:

.blurhash-client-img { display: none !important; }

Formal Language

Adam Brooks Webber

.blurhash-client-img { display: none !important; }

Logic, Automata, and Computational Complexity

Kapron Bruce M.

.blurhash-client-img { display: none !important; }

Discrete Mathematics and Functional Programming

Thomas VanDrunen

.blurhash-client-img { display: none !important; }

Think Like a Programmer

.blurhash-client-img { display: none !important; }

Edsger Dijkstra

Apt Krzysztof R.

.blurhash-client-img { display: none !important; }

Declarative Logic Programming

Kifer Michael, Yanhong Liu

.blurhash-client-img { display: none !important; }

Software