.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Methods for Industrial Critical Systems
Cofer
€ 66.95
FREE Delivery in Ireland
Description for Formal Methods for Industrial Critical Systems
Paperback. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 243 pages, biography. BIC Classification: UMB; UMX; UMZ; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 379.
The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshopsalso striveto promoteresearchand developmentfor the improvement of formal methods and tools for industrial applications. The topics for which contributions to FMICS 2008 were solicited included, but were not restricted to, the following: – Design, speci?cation, code generation and ... Read more
The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshopsalso striveto promoteresearchand developmentfor the improvement of formal methods and tools for industrial applications. The topics for which contributions to FMICS 2008 were solicited included, but were not restricted to, the following: – Design, speci?cation, code generation and ... Read more
Product Details
Format
Paperback
Publication date
2009
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
243
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
233
Place of Publication
Berlin, Germany
ISBN
9783642032394
SKU
V9783642032394
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Methods for Industrial Critical Systems