Languages for Embedded Systems and their Applications: Selected Contributions on Specification Design and Verification from FDL’08 ebook

$23.00