Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig vom 07.09.2026 bis 09.09.2026 | Gültig für nicht preisgebundene fremdsprachige Bücher | Einzelne Artikel können ausgeschlossen sein | Online auf www.bücher.de einlösbar | Click & Collect nur mit Online-Zahlung (Paypal/Kreditkarte) vorab | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Nicht gültig für Versandkosten und Services
Produktbild: Verification of Sequential and Concurrent Programs
- 13%

Verification of Sequential and Concurrent Programs

Aus der Reihe Texts in Computer Science
13% sparen

92,99 € UVP 106,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

05.10.2009

Abbildungen

XXIV, 502 p. 26 illus.

Verlag

Springer London

Seitenzahl

502

Maße (L/B/H)

24,1/16/3,3 cm

Gewicht

951 g

Auflage

Third Edition 2009

Sprache

Englisch

ISBN

978-1-84882-744-8

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

05.10.2009

Abbildungen

XXIV, 502 p. 26 illus.

Verlag

Springer London

Seitenzahl

502

Maße (L/B/H)

24,1/16/3,3 cm

Gewicht

951 g

Auflage

Third Edition 2009

Sprache

Englisch

ISBN

978-1-84882-744-8

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

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: Verification of Sequential and Concurrent Programs
  • In the Beginning.- Preliminaries.- Deterministic Programs.- While Programs.- Recursive Programs.- Recursive Programs with Parameters.- Object-Oriented Programs.- Parallel Programs.- Disjoint Parallel Programs.- Parallel Programs with Shared Variables.- Parallel Programs with Synchronization.- Nondeterministic and Distributed Programs.- Nondeterministic Programs.- Distributed Programs.- Fairness.