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

Misra Jayadev
Theory of Computation Simplified
Book

Theory of Computation Simplified

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

Modern Programming Languages: 2nd Edition

Adam Brooks Webber
Concurrency:
Book

Concurrency:

Malkhi Dahlia
Logic, Automata, and Computational Complexity
Book

Logic, Automata, and Computational Complexity

Kapron Bruce M.
Formal Language
Book

Formal Language

Adam Brooks Webber
Foundations of Computing
Book

Foundations of Computing

Pradeep K. Sinha, Priti Sinha
Declarative Logic Programming
Book

Declarative Logic Programming

Kifer Michael, Yanhong Liu
From Algorithms to Thinking Machines
Book

From Algorithms to Thinking Machines

Talia Domenico
Formal Verification of Just-in-Time Compilation
Book

Formal Verification of Just-in-Time Compilation

Aurèle Barrière