Pub Date: May 20, 2010
Dewey: 005.1
Lexile Code: 0000
Features: Bibliography, Illustrated, Index, Table of Contents
Target Age Group: NA to NA
Physical Info: 0.50" H x 9.20" L x 6.30" W ( 0.70 lbs) 189 pages
BISAC Categories:
Computers | Software Development and Engineering | General | Networking | Hardware | Programming | Compilers | Languages | Logic Design | Information Technology | Computer Science
Description:
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.