KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

Gültig bis 11.11.2026 | Gültig für Spielzeug, Filme, Musik, Software, Games, Geschenke & Trends, Schreibwaren, Hörbücher und Hörbuch-Downloads (außer Abo & Shelfies), gebrauchte Bücher, nicht preisgebundene Bücher und Kalender | Einlösbar unter thalia.de und in der Thalia App | Click & Collect nur mit Online-Zahlung (Paypal/Kreditkarte) vorab | Einzelne Artikel können ausgeschlossen sein | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Digitale Hörbücher nur für Android  | Nicht gültig für preisgebundene Artikel (aufgrund der Buchpreisbindung sind Gutscheine nicht auf Bücher, eBooks, Presse einlösbar), tolino eReader & Zubehör, Abonnements & Flatrates, Geschenkkarten, 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

900 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

900 g

Auflage

Third Edition 2009

Sprache

Englisch

ISBN

978-1-84882-744-8

Herstelleradresse

Springer-Verlag GmbH
Europaplatz 3
69115 Heidelberg
DE

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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.