• Produktbild: Communicating and Mobile Systems
  • Produktbild: Communicating and Mobile Systems

Communicating and Mobile Systems The Pi Calculus

136,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

17.11.2004

Verlag

Cambridge Academic

Seitenzahl

176

Maße (L/B/H)

23,5/15,7/1,4 cm

Gewicht

355 g

Sprache

Englisch

ISBN

978-0-521-64320-7

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

17.11.2004

Verlag

Cambridge Academic

Seitenzahl

176

Maße (L/B/H)

23,5/15,7/1,4 cm

Gewicht

355 g

Sprache

Englisch

ISBN

978-0-521-64320-7

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: Libri GmbH

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben: Einfach Barcode scannen, Versandetikett ausdrucken, Bücher verschicken und Thalia Geschenkkarte erhalten.

Jetzt verkaufen
Jetzt verkaufen

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: Communicating and Mobile Systems
  • Produktbild: Communicating and Mobile Systems
  • Glossary; Part I. Communicating Systems: 1. Introduction; 2. Behaviour of automata; 3. Sequential processes and bisimulation; 4. Concurrent processes and reaction; 5. Transitions and strong equivalence; 6. Observation equivalence: theory; 7. Observation equivalence: examples; Part II. The ¿-Calculus: 8. What is mobility? 9. The ¿-calculus and reaction; 10. Applications of the ¿-calculus; 11. Sorts, objects and functions; 12. Commitments and strong bisimulation; 13. Observation equivalence and examples; 14. Discussion and related work; Bibliography; Index.