Kniha momentálne nie je na sklade
Viac o knihe
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.
Nákup knihy
Unifying theories of programming, Steve Dunne
- Jazyk
- Rok vydania
- 2006
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme e-mail.
Platobné metódy
Nikto zatiaľ neohodnotil.