• Produktbild: Verification of Sequential and Concurrent Programs
  • Produktbild: Verification of Sequential and Concurrent Programs
- 10%

Verification of Sequential and Concurrent Programs

10% sparen

76,99 € UVP 85,59 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.03.2012

Abbildungen

XXIV, 26 illus., schwarz-weiss Illustrationen

Verlag

Springer London

Seitenzahl

502

Maße (L/B/H)

23,5/15,5/2,9 cm

Gewicht

801 g

Auflage

Third Edition 2009

Sprache

Englisch

ISBN

978-1-4471-2513-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.03.2012

Abbildungen

XXIV, 26 illus., schwarz-weiss Illustrationen

Verlag

Springer London

Seitenzahl

502

Maße (L/B/H)

23,5/15,5/2,9 cm

Gewicht

801 g

Auflage

Third Edition 2009

Sprache

Englisch

ISBN

978-1-4471-2513-6

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: Verification of Sequential and Concurrent Programs
  • Produktbild: Verification of Sequential and Concurrent Programs
  • Part I: In the Beginning Introduction Preliminaries Part II: Deterministic Programs while Programs Recursive Programs Recursive Programs with Parameters Object-Oriented Programs Part III: Parallel Programs Disjoint Parallel Programs Parallel Programs with Shared Variables Parallel Programs with Synchronization Part IV: Nondeterministic and Distributed Programs Nondeterministic Programs Distributed Programs Fairness