|
Books > Computing & IT > General theory of computing > Mathematical theory of computation
|
Buy Now
Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers (Paperback, 1st ed. 2019)
Loot Price: R1,469
Discovery Miles 14 690
|
|
|
Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers (Paperback, 1st ed. 2019)
Series: Communications in Computer and Information Science, 1008
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 6th
International Workshop on Formal Techniques for Safety-Critical
Systems, FTSCS 2018, held in Gold Coast, Australia in November
2018. The 10 revised full papers presented together with an
abstract of an invited talk were carefully reviewed and selected
from 22 submissions. The papers are organized in topical sections
on analysis and verification of Safety-Critical Systems; analysis
of timed systems; semantics and analysis methods, and model
transformation.
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
