Preis von
68.00 EUR
68.00 EUR
Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs
LAP Lambert Academic Publishing (9783838363165) | Separation Logic for Multithreaded
Geschäfte, in denen Sie dieses Produkt kaufen können
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Galaxus.de
GesponsertSeparation Logic for Multithreaded Object-Oriented Languages, Fachbücher
Günstigstes Angebot
| Dieses Produkt im Comparor | |
|---|---|
|
Kategorie
Dieses Produkt ist in unserem Shop in diesen Kategorien in unserem Shop katalogisiert
|
- Bücher über Programmierung und Softwareentwicklung - Ingenieurbücher - Programmiersprachen - Sprachen & Tools |
|
International
Finden Sie dieses Produkt in einem unserer internationalen Geschäfte
|
Dieses Produkt wurde in anderen Ländern nicht gefunden
|
| Farben
Vorherrschende Farben des Produkts |
|
| Tags | For Multithreaded Object-Oriented Languages |
| Bezeichner | |
| Marke |  LAP Lambert Academic Publishing ist ein Verlag, der sich auf wissenschaftliche Publikationen spezialisiert hat. Die Veröffentlichungen werden von Wissenschaftlern aus aller Welt verfasst und richten sich an ein Fachpublikum. |
| ID | 15310802 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Related zusammenhängen
(9783319850948) | Separation Logic for High-level
Springer-Verlag GmbH (9783319532219 / 28314077) | Separation Logic for High-level
(9783846585450) | High Efficiency Separation, Separation Using
(9786139458240) | Counter-Flow RHVT
(9786139457410) | Separation process of, Separation of
(9786138390183)