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 (3) Eigenschaften
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: 24-04-2026 18:35:22
Siehe Produktangebot
Gesponsert
Formal Methods for Multicore Programming
SpringerLink DE
51.36 EUR
Preis aktualisiert am: 24-04-2026 21:11:37
Siehe Produktangebot
Gesponsert
Formal Methods for Multicore Programming, Fachbücher
Galaxus.de
51.36 EUR
Preis aktualisiert am: 24-04-2026 22:26:23
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 Nonmonotonic and Related Logics: Vol I: Preference and Size
Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size
Produkt anzeigen
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)
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)
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)
Produkt anzeigen
Formal Methods for Quantitative Aspects of Programming Languages
Formal Methods for Quantitative Aspects of Programming Languages
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
Produkt anzeigen
FORMS/FORMAT 2010
FORMS/FORMAT 2010
Produkt anzeigen
FME 2001: Formal Methods for Increasing Software Productivity
FME 2001: Formal Methods for Increasing Software Productivity
Produkt anzeigen
Menü