Have a personal or library account? Click to login
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
|Oct 2021
Product purchase options

Authors

Cliff, Jones

reference-global.comGoogle Scholar

Misra, Jayadev

reference-global.comGoogle Scholar
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: 2021
Language: English
Pages: 450
Related subjects:
Computer sciences,
History of computer sciences

People also read

Effective Theories in Programming Practice
Book

Effective Theories in Programming Practice

Jayadev, Misra
Theory of Computation Simplified
Book

Theory of Computation Simplified

H. Patil, Dr. Varsha, H. Patil, Dr. Aboli, S. Pawar, Dr. Vaishali, A. Bhavsar, Dr. Swati
Modern Programming Languages: 2nd Edition
Book

Modern Programming Languages: 2nd Edition

Webber, Adam Brooks
Concurrency:
Book

Concurrency:

Dahlia, Malkhi
Logic, Automata, and Computational Complexity
Book

Logic, Automata, and Computational Complexity

Bruce M., Kapron
Formal Language
Book

Formal Language

Webber, Adam Brooks
Foundations of Computing
Book

Foundations of Computing

K. Sinha, Pradeep, Sinha, Priti
Declarative Logic Programming
Book

Declarative Logic Programming

Michael, Kifer, Liu, Yanhong
From Algorithms to Thinking Machines
Book

From Algorithms to Thinking Machines

Domenico, Talia
Edsger Dijkstra
Book

Edsger Dijkstra

Krzysztof R., Apt