Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Galaxus.de
Gesponsert Separation Logic for Multithreaded Object-Oriented Languages, Fachbücher
68.00 EUR
Preis aktualisiert am: 22-04-2026 21:01:27
68.00 EUR
Preis aktualisiert am: 22-04-2026 21:01:27 | Bezeichner | |
|---|---|
| Abmessungen / Gewicht | |
| Hauptmerkmale |
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.
