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: 11-06-2026 14:57:55
Siehe Produktangebot
Gesponsert
Formal Methods for Multicore Programming
SpringerLink DE
51.36 EUR
Preis aktualisiert am: 11-06-2026 23:32:32
Siehe Produktangebot
Gesponsert
Formal Methods for Multicore Programming, Fachbücher
Galaxus.de
51.36 EUR
Preis aktualisiert am: 12-06-2026 01:19:50
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 Safety and Security
Formal Methods for Safety and Security
Produkt anzeigen
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Lecture Notes in Computer Science, Band 11687)
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Lecture Notes in Computer Science, Band 11687)
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
Produkt anzeigen
Formal Methods for Safety and Security
Formal Methods for Safety and Security
Produkt anzeigen
Formal Methods for Quantitative Aspects of Programming Languages
Formal Methods for Quantitative Aspects of Programming Languages
Produkt anzeigen
Formal Foundations for Software Engineering Methods (Lecture Notes in Computer Science)
Formal Foundations for Software Engineering Methods (Lecture Notes in Computer Science)
Produkt anzeigen
Menü