Le livre est actuellement en rupture de stock
En savoir plus sur le livre
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.
Achat du livre
Unifying theories of programming, Steve Dunne
- Langue
- Année de publication
- 2006
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .