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-04-22

Sell this book           Buy or Rent?