Kód: 01655828
This tuturial offers selected papers from the LASER summer Schools 2007 and 2008, covering verification of fine-grain concurrency and transactions, the SCOOP model, the Spec programming and verification system, multi-core chip des ... celý popis
Angličtina
Nákupem získáte 136 bodů
Anotace knihy
This tuturial offers selected papers from the LASER summer Schools 2007 and 2008, covering verification of fine-grain concurrency and transactions, the SCOOP model, the Spec programming and verification system, multi-core chip design and much more.
Parametry knihy
Zařazení knihy Knihy v angličtině Computing & information technology Computer hardware Network hardware
1355 Kč
Angličtina
Osobní odběr Praha, Brno a 47410 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)Nákupní košík ( prázdný )