• Produktbild: Logic for Concurrency and Synchronisation
  • Produktbild: Logic for Concurrency and Synchronisation
Band 18 - 12%

Logic for Concurrency and Synchronisation

Aus der Reihe Trends in Logic
12% sparen

95,99 € UVP 109,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.05.2003

Abbildungen

XXI, 285 p.

Herausgeber

R.J. De Queiroz

Verlag

Springer Netherland

Seitenzahl

285

Maße (L/B/H)

23,4/18/2,2 cm

Gewicht

621 g

Auflage

2003 edition

Sprache

Englisch

ISBN

978-1-4020-1270-9

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.05.2003

Abbildungen

XXI, 285 p.

Herausgeber

R.J. De Queiroz

Verlag

Springer Netherland

Seitenzahl

285

Maße (L/B/H)

23,4/18/2,2 cm

Gewicht

621 g

Auflage

2003 edition

Sprache

Englisch

ISBN

978-1-4020-1270-9

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

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: Logic for Concurrency and Synchronisation
  • Produktbild: Logic for Concurrency and Synchronisation
  • Geometry of Deduction Via Graphs of Proofs.- Chu’s Construction: A Proof-Theoretic Approach.- Two Paradigms of Logical Computation in Affine Logic?.- Proof Systems for ?-Calculus Logics.- A Tutorial Introduction to Symbolic Model Checking.- Modal Logics for Finite Graphs.- Bisimulation and Language Equivalence.