Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Techniques for Safety-Critical Systems
. Ed(S): Artho, Cyrille; Olveczky, Peter Csaba
€ 63.54
FREE Delivery in Ireland
Description for Formal Techniques for Safety-Critical Systems
Paperback. Editor(s): Artho, Cyrille; Olveczky, Peter Csaba. Series: Communications in Computer and Information Science. Num Pages: 257 pages, 86 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 415.
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.
Product Details
Format
Paperback
Publication date
2015
Publisher
Springer International Publishing AG Switzerland
Number of pages
257
Condition
New
Series
Communications in Computer and Information Science
Number of Pages
257
Place of Publication
Cham, Switzerland
ISBN
9783319175805
SKU
V9783319175805
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Techniques for Safety-Critical Systems