Refinement calculus : a systematic introduction / Ralph-Johan Back, Joakim von Wright.
1998
QA76.6 .B335 1998
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
Refinement calculus : a systematic introduction / Ralph-Johan Back, Joakim von Wright.
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
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
Record Appears in