An edition of Unifying theories of programming (1998)

Unifying theories of programming

First edition

My Reading Lists:

Create a new list




Download Options

Buy this book

Last edited by Jonathan Bowen
June 13, 2025 | History
An edition of Unifying theories of programming (1998)

Unifying theories of programming

First edition

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.

Publish Date
Publisher
Prentice Hall
Language
English

Buy this book

Previews available in: English

Edition Availability
Cover of: Unifying theories of programming
Unifying theories of programming
1998, Prentice Hall
in English - First edition

Add another edition?

Book Details


Edition Notes

Includes bibliographical references and index.

Published in
London, New York
Series
Series in Computer Science
Copyright Date
1998

Classifications

Dewey Decimal Class
005.1/01
Library of Congress
QA76.6. .H5735 1998

Contributors

Series General Editor
C. A. R. Hoare
Series General Editor
Richard Bird
Additional Author (this edition)
He Jifeng

The Physical Object

Pagination
p. cm.

Edition Identifiers

Open Library
OL351206M
Internet Archive
unifyingtheories00hoar
ISBN 10
0134587618
LCCN
98010608
LibraryThing
6308916
Goodreads
4670464

Work Identifiers

Work ID
OL1841846W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
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