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

Logic for Concurrency and Synchronisation

Aus der Reihe Trends in Logic
11% sparen

96,99 € UVP 109,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.10.2013

Abbildungen

XXI, 285 p.

Herausgeber

R.J. De Queiroz

Verlag

Springer Netherland

Seitenzahl

285

Maße (L/B/H)

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

Gewicht

470 g

Auflage

Softcover reprint of the original 1st ed. 2003

Sprache

Englisch

ISBN

978-94-017-4000-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.10.2013

Abbildungen

XXI, 285 p.

Herausgeber

R.J. De Queiroz

Verlag

Springer Netherland

Seitenzahl

285

Maße (L/B/H)

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

Gewicht

470 g

Auflage

Softcover reprint of the original 1st ed. 2003

Sprache

Englisch

ISBN

978-94-017-4000-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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.