Description: Formal Techniques for Safety-Critical Systems Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers Author(s): Cyrille Artho, Peter Csaba OElveczky Format: Paperback Publisher: Springer International Publishing AG, Switzerland Imprint: Springer International Publishing AG ISBN-13: 9783319054155, 978-3319054155 Synopsis 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.
Price: 38.14 GBP
Location: Aldershot
End Time: 2024-11-03T09:04:25.000Z
Shipping Cost: 28.95 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 60 days
Return policy details:
Book Title: Formal Techniques for Safety-Critical Systems
Number of Pages: 297 Pages
Language: English
Publication Name: Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Publisher: Springer International Publishing A&G
Publication Year: 2014
Subject: Computer Science
Item Height: 235 mm
Item Weight: 4686 g
Type: Textbook
Author: Peter Csaba Oelveczky, Cyrille Artho
Series: Communications in Computer and Information Science
Item Width: 155 mm
Format: Paperback