Check nearby libraries
Buy this book

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 programmingEdition | 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)
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 |