Code: 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 ... more
English
55.96 €

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.
You get 136 loyalty points
Book synopsis
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.
Book details
Book category Books in English Computing & information technology Computer hardware Network hardware
55.96 €
English
Collection points Bratislava a 12944 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25892 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)Shopping cart ( Empty )