Gå direkt till innehållet
  1. Böcker
  2. Böcker på engelska

A Machine-Checked, Type-Safe Model of Java Concurrency

Författare:
engelska
477 kr
Lägsta pris på PriceRunner

Undertitel
Language, Virtual Machine, Memory Model, and Verified Compiler
ISBN
9783866448858
Språk
engelska
Vikt
517 gram
Utgivningsdatum
2014-06-04
Sidor
438