|
Books > Computing & IT > General theory of computing
|
Buy Now
Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers (Paperback, 2014 ed.)
Loot Price: R2,301
Discovery Miles 23 010
|
|
|
Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers (Paperback, 2014 ed.)
Series: Communications in Computer and Information Science, 419
Expected to ship within 10 - 15 working days
|
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.
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.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
