FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

Hardcover: 268 pages

Publisher: Springer (February 23, 2011)

Language: English

ISBN-10: 3642142605

代发服务

PDF电子书10元立即求助