Formal Methods for Multicore Programming

Ein kompakter Leitfaden für Entwickler, der formale Methoden in Mehrkernumgebungen erklärt, mit praxisnahen Beispielen zu Speichersicherheit, Synchr ...
Formal Methods for
Wo zu kaufen (4) Eigenschaften
Gesponsert
Formal Methods for Multicore Programming, Fachbücher
Galaxus.de
51.36 EUR
Preis aktualisiert am: 29-10-2026 03:58:00
Siehe Produktangebot
Gesponsert
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Lectures (Lecture Notes in Computer Science)
Medimops DE
51.36 EUR
Preis aktualisiert am: 28-10-2026 17:18:24
Siehe Produktangebot
Gesponsert
Formal Methods for Multicore Programming
SpringerLink DE
51.36 EUR
Preis aktualisiert am: 28-10-2026 06:12:42
Siehe Produktangebot
Gesponsert
Formal Methods for Multicore Programming
Hugendubel
51.49 EUR
Preis aktualisiert am: 29-10-2026 07:04:25
Siehe Produktangebot

Allgemein

Marke
Springer-Verlag GmbH
ISBN
Springer-Verlag GmbH 3319189409
MPN
Springer-Verlag GmbH 72 black & white illustrations, biograph

Eigenschaften

Ähnliche Produkte

Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings (Lecture Notes in Computer Science)
Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings (Lecture Notes in Computer Science)
Aus51.14 EUR 4
Produkt anzeigen
Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size
Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size
Aus85.24 EUR 3
Produkt anzeigen
Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Lecture Notes in Computer Science)
Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Lecture Notes in Computer Science)
Aus51.36 EUR 3
Produkt anzeigen
Formal Methods for Nonmonotonic and Related Logics: Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Formal Methods for Nonmonotonic and Related Logics: Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Aus97.98 EUR 3
Produkt anzeigen
Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control)
Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control)
Aus174.44 EUR 2
Produkt anzeigen
FORMS/FORMAT 2010
FORMS/FORMAT 2010
Aus236.00 EUR 1
Produkt anzeigen
Menü