Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08 (Lecture Notes in Electrical Engineering)

Specification

by Martin Radetzki

Hardcover

ISBN: 978-1-4020-9713-3

ISBN-10: 1-4020-9713-1

Springer · 2009