Communications in Computer and Informati Formal Techniques for Safety-Critical Systems: Third International Workshop Ftscs 2014 Luxembourg November 6-7 2014. Book 476 (Paperback)

Communications in Computer and Informati Formal Techniques for Safety-Critical Systems: Third International Workshop Ftscs 2014 Luxembourg November 6-7 2014. Book 476 (Paperback)

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...


Walmart

$60.29
Delivery: $7.98

Go to store
Items per page