Unifying Theories of Programming: First International Symposium, UTP 2006, Walwo
67,47 €
Retrospective 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).
Jetzt bei Ebay:
