.png){kind=logo}
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
€ 66.82
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: 297 pages, 91 black & white illustrations, biography. BIC Classification: UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 474.
This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 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 Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 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
2014
Publisher
Springer International Publishing AG Switzerland
Number of pages
297
Condition
New
Series
Communications in Computer and Information Science
Number of Pages
297
Place of Publication
Cham, Switzerland
ISBN
9783319054155
SKU
V9783319054155
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Techniques for Safety-Critical Systems