Communications in Computer and Informati Formal Techniques for Safety-Critical Systems: 4th International Workshop Ftscs 2015 Paris France November 6-7 2015 Book 596 (Paperback)

Communications in Computer and Informati Formal Techniques for Safety-Critical Systems: 4th International Workshop Ftscs 2015 Paris France November 6-7 2015 Book 596 (Paperback)

This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems FTSCS 2015 held in Paris France in November 2015. The 15 revised full papers presented together with one invited talk...


Walmart

$61.30
Free Delivery

Go to store
Items per page