Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers (Paperback, 2015 ed.)
Loot Price: R2,186
Discovery Miles 21 860
|
|
Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers (Paperback, 2015 ed.)
Series: Communications in Computer and Information Science, 476
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.