Refinement calculus : a systematic introduction / Ralph-Johan Back, Joakim von Wright.
1998
QA76.6 .B335 1998
Linked e-resources
Linked Resource
Online Access
Details
Title
Refinement calculus : a systematic introduction / Ralph-Johan Back, Joakim von Wright.
Author
Back, Ralph-Johan, author.
ISBN
9780387984179
9781461216742 (e-book)
9781461216742 (e-book)
Published
New York : Springer, 1998.
Copyright
©1998
Language
English
Description
1 online resource (519 pages) : illustrations.
Call Number
QA76.6 .B335 1998
Dewey Decimal Classification
005.1/4
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Added Author
Wright, J. von (Joakim), 1955- author.
Series
Graduate texts in computer science (Springer-Verlag New York Inc.)
Available in Other Form
Print version: Back, Ralph-Johan. Refinement calculus : a systematic introduction. New York : Springer, c1998 9780387984179
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources