Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 06.07.2026 auf fremdsprachige Bücher online auf thalia.at, in der Thalia App ab einem Mindestbestellwert von 30€ und in allen Thalia Buchhandlungen in Österreich. In den Buchhandlungen nur gültig auf lagernde Ware. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel & eBooks. Pro Einkauf einmal einlösbar. Nur gültig gegen Vorlage oder im Onlineshop hinterlegter Bonuscard. Infos zur Einlösung in der Buchhandlung sind auf der Bonuscard-Vorteilspreisseite zu finden. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Einlösung bei Scan & Go-Bezahlung. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
Produktbild: Verification of Sequential and Concurrent Programs
- 12%

Verification of Sequential and Concurrent Programs

Aus der Reihe Texts in Computer Science
12% sparen

95,99 € UVP 109,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

05.10.2009

Abbildungen

XXIV, 26 illus., schwarz-weiss Illustrationen

Verlag

Springer London

Seitenzahl

502

Maße (L/B/H)

24,1/16/3,3 cm

Gewicht

2010 g

Auflage

Third Edition 2009

Sprache

Englisch

ISBN

978-1-84882-744-8

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

05.10.2009

Abbildungen

XXIV, 26 illus., schwarz-weiss Illustrationen

Verlag

Springer London

Seitenzahl

502

Maße (L/B/H)

24,1/16/3,3 cm

Gewicht

2010 g

Auflage

Third Edition 2009

Sprache

Englisch

ISBN

978-1-84882-744-8

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
  • 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