Browse By Department
Pre-Owned Formal Techniques for Safety-Critical Systems: Third International Workshop FTSCS 2014 Luxembourg November 6-7 2014. Revised Selected Papers
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...
$69.47 $62.58 Free Delivery