The book is currently out of stock
More about the book
InhaltsverzeichnisRetrospective and Prospective for Unifying Theories of Programming.Object-Orientation in the UTP.CSP Is a Retract of CCS.A Design-Based Model of Reversible Computation.An Operational Semantics in UTP for a Language of Reactive Designs (Abstract).Constructing Property-Oriented Models for Verification.A Relational Investigation of UTP Designs and Prescriptions.Unifying Theories in ProofPower-Z.Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe.Hierarchical Organisation of Predicate-Semantic Models.Unifying Probability.Pointers and Records in the Unifying Theories of Programming.Mechanising a Unifying Theory.Modal Design Algebra.
Book purchase
Unifying theories of programming, Steve Dunne
- Language
- Released
- 2006
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.