Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised ... in Computer and Information Science, 419)
ISBN-13: 9783319054155
ISBN-10: 3319054155
Edition: 2014
Binding: Paperback
Publisher: Springer
Published: 2014
Best Prices for this Book in New Condition
As an Amazon Associate I earn from qualifying purchases.