Vor Ort
Merkzettel Warenkorb
Produktbild: Theory and Formal Methods 1993

Theory and Formal Methods 1993 Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993

Aus der Reihe Workshops in Computing

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.09.1993

Abbildungen

VIII, 329 p.

Herausgeber

Geoffrey Burn + weitere

Verlag

Springer Berlin

Seitenzahl

329

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

517 g

Auflage

Softcover reprint of the original 1st ed. 1993

Sprache

Englisch

ISBN

978-3-540-19842-0

Beschreibung

Portrait

Theory and Formal Methods 1993 provides an overview of work done by one of the world's leading research centres. It will be of interest to researchers and practitioners, as well as undergraduate and postgraduate students.

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.09.1993

Abbildungen

VIII, 329 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

329

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

517 g

Auflage

Softcover reprint of the original 1st ed. 1993

Sprache

Englisch

ISBN

978-3-540-19842-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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: Theory and Formal Methods 1993
  • 1: Overview and Introductory Papers.- The Abstract Interpretation of Functional Languages.- Deriving Category Theory from Type Theory.- Graph Rewriting Systems and Abstract Interpretation.- Geometric Logic in Computer Science.- 2: Research Papers.- Interaction Categories (Extended Abstract).- Animating LU.- Dynamical Systems, Measures and Fractals via Domain Theory (Extended Abstract).- Self-Duality, Minimal Invariant Objects and Karoubi Invariance in Information Categories.- Reasoning About Gamma Programs.- Generalising Interpretations Between Theories in the Context of (?-) Institutions.- Modelling Signal in Interaction Categories.- Product Operations in Strong Monads.- On the Equivalence of State-Transition Systems.- Towards a Modal Logic of Durative Actions.- Concurrency, Fairness and Logical Complexity.- Concurrency and Conflict in CSP.- A Complete Axiom System for CCS with a Stability Operator.- An Internal Language for Autonomous Categories.- Continuation Passing Transformation and Abstract Interpretation.- A Note on Expressiveness of Process Algebra.- Prioritising Preference Relations.- Laws of Parallel Synchronised Termination.- Implementing Process Calculi in C.- An Exact Interpretation of While.- Congruences for ?-Respecting Formats of Rules.- Author Index.