KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: Unifying Theories of Programming
Band 4010

Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

Aus der Reihe Theoretical Computer Science and General Issues

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.06.2006

Abbildungen

VIII, 264 p.

Herausgeber

Steve Dunne + weitere

Verlag

Springer Berlin

Seitenzahl

264

Maße (B/H)

15,5/23,5 cm

Gewicht

428 g

Sprache

Englisch

ISBN

978-3-540-34750-7

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.06.2006

Abbildungen

VIII, 264 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

264

Maße (B/H)

15,5/23,5 cm

Gewicht

428 g

Sprache

Englisch

ISBN

978-3-540-34750-7

Herstelleradresse

Springer-Verlag GmbH
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Url: www.springer.com
Telephone: +49 30 827870
Fax: +49 30 8214091

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Unifying Theories of Programming
  • 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).- 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.