Der ausgewählte Artikel ist nicht mehr verfügbar, aber wir haben etwas Ähnliches gefunden.

Bild 1 von 1

Standardbild

True Concurrency and Atomicity Alberto Franco Taschenbuch Paperback 92 S. 2015 - Bild 1 von 1

True Concurrency and Atomicity von Alberto Franco (2015, Taschenbuch)

Schreiben Sie die ersteRezension.

buchbaer-shop (46395)
99,9% positive Bewertungen

Preis:

€ 56,90

(inkl. MwSt.)

Kostenloser Versand

Lieferung ca. Mo, 29. Apr - Fr, 3. Mai

Rücknahmen:

1 Monat Rückgabe. Käufer zahlt Rückversand. Für eBay Plus-Mitglieder ist der Rückversand im Inland kostenlos. Mehr erfahren.

Artikelzustand:

Neu

Alle Details ansehen

Über dieses Produkt

Produktinformation

Concurrent software is notoriously error-prone due to the possible unexpected interactions between concurrently executing processes. Testing is often not effective in discovering such errors since such intereferences heavily depends on the chosen scheduling and can appear very rarely. In the book we propose an approach for statically proving the absence of undesired interferences in concurrent programs. The approach is based on the definition of a so-called true concurrent semantics of the program which explicitly describes the possibly concurrent computation steps and their mutual dependencies. In the analysis we focus on atomicity properties, which assert that a program block acts in any computation as it were executed in isolation.

Produktkennzeichnungen

ISBN-10
365980102x
ISBN-13
9783659801020
eBay Product ID (ePID)
218715061

Produkt Hauptmerkmale

Produktart
Lehrbuch
Sprache
Englisch
Anzahl der Seiten
92 Seiten
Verlag
Lap Lambert Academic Publishing
Publikationsname
True Concurrency And Atomicity
Autor
Alberto Franco
Format
Taschenbuch
Erscheinungsjahr
2015

Zusätzliche Produkteigenschaften

Hörbuch
No
Inhaltsbeschreibung
Paperback
Item Length
22cm
Item Height
6mm
Item Width
15cm
Item Weight
155g

Alle Angebote für dieses Produkt

Artikel 1 True Concurrency and Atomicity Alberto Franco Taschenbuch Paperback 92 S. 2015
EUR 56,90
Kostenloser Versand
Artikel 2 True Concurrency and Atomicity A model checking approach with contextual Pe 3167
EUR 54,90
+EUR 2,94 Versand

Meistverkauft in Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Meistverkauft in Studium & Erwachsenenbildung

Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)
4.3 von 5 Sternen in 4 Produktbewertungen
EUR 19,90 Neu
EUR 17,69 Gebraucht
Das einzige Buch, das Du über Finanzen lesen solltest von Thomas Kehl (2022, Taschenbuch)
4.5 von 5 Sternen in 2 Produktbewertungen
EUR 12,00 Neu
EUR 9,49 Gebraucht
Schlachtkreuzer der Royal Navy von Ingo Bauernfeind (2015, Taschenbuch)
Noch keine Bewertungen oder Rezensionen
EUR 8,90 Neu
EUR 8,46 Gebraucht

Hier sparen: Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Hier sparen: Studium & Erwachsenenbildung

Der Schlüssel zur Selbstbefreiung - Lebensphilosophie für ein glückliches u ...
EUR 74,00
Preistendenz: EUR 74,93
Volker Busch | Kopf hoch! | Buch | Deutsch (2024) | 352 S. | Droemer
EUR 20,00
Preistendenz: EUR 20,45
Disney Minnie Schleifen-Boutique Kindergartenfreundebuch | Meine ersten Freunde
EUR 9,99
Preistendenz: EUR 10,11
Einfaches Kassenbuch | Einnahmen und Ausgaben
EUR 4,99
Preistendenz: EUR 6,62
Die Bibel | Synodalübersetzung - Schlachter 2000. Russisch-Deutsch | Buch | 2008
EUR 29,95
Preistendenz: EUR 30,36
Im Grunde gut|Rutger Bregman|Broschiertes Buch|Deutsch
EUR 15,00
Preistendenz: EUR 15,18

Auch interessant

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Auch interessant

Stöbern in Kategorien

Bild 1 von 1

True Concurrency and Atomicity von Alberto Franco (2015, Taschenbuch)

Über dieses Produkt

Produktinformation

Produktkennzeichnungen

Produkt Hauptmerkmale

Zusätzliche Produkteigenschaften

Alle Angebote für dieses Produkt

Artikel 1 True Concurrency and Atomicity Alberto Franco Taschenbuch Paperback 92 S. 2015

Artikel 2 True Concurrency and Atomicity A model checking approach with contextual Pe 3167

Meistverkauft in Studium & Erwachsenenbildung

Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)

Das einzige Buch, das Du über Finanzen lesen solltest von Thomas Kehl (2022, Taschenbuch)

Schlachtkreuzer der Royal Navy von Ingo Bauernfeind (2015, Taschenbuch)

Hier sparen: Studium & Erwachsenenbildung

Der Schlüssel zur Selbstbefreiung - Lebensphilosophie für ein glückliches u ...

Volker Busch | Kopf hoch! | Buch | Deutsch (2024) | 352 S. | Droemer

Disney Minnie Schleifen-Boutique Kindergartenfreundebuch | Meine ersten Freunde

Einfaches Kassenbuch | Einnahmen und Ausgaben

Die Bibel | Synodalübersetzung - Schlachter 2000. Russisch-Deutsch | Buch | 2008

Im Grunde gut|Rutger Bregman|Broschiertes Buch|Deutsch

Auch interessant

Lehrbücher als Taschenbuch

Sonstige Bücher im Taschenbuch-Format

Brockhaus Taschenbücher

Frauenliteratur-Taschenbücher

Humor Taschenbücher

Natur-Taschenbücher