An edition of Unifying theories of programming
(1998)
Unifying theories of programming
First edition
by C. A. R. Hoare
Share
×Close
Last edited by Jonathan Bowen
June 13, 2025 | History
Unifying Theories of Programming (UTP) in computer science deals with program semantics. It shows how denotational semantics, operational semantics and algebraic semantics can be combined in a unified framework for the formal specification, design and implementation of programs and computer systems.
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Computer programming| Edition | Availability |
|---|---|
1
Unifying theories of programming
1998, Prentice Hall
in English
- First edition
0134587618 9780134587615
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references and index.
Classifications
Contributors
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created April 1, 2008
- 11 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| June 13, 2025 | Edited by Jonathan Bowen | Additional author |
| June 13, 2025 | Edited by Jonathan Bowen | Authors, series editors, description, etc. |
| July 8, 2019 | Edited by MARC Bot | import existing book |
| July 8, 2019 | Edited by MARC Bot | import existing book |
| April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |