• $69.99

Publisher 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.

GENRE
Computers & Internet
RELEASED
2010
May 9
LANGUAGE
EN
English
LENGTH
196
Pages
PUBLISHER
Springer Berlin Heidelberg
SELLER
Springer Nature B.V.
SIZE
1.9
MB

More Books by Peter Müller

Other Books in This Series