Springer
NASA Formal Methods: 5th International Symposium, Nfm 2013, Moffett Field, Ca, Usa, May 14-16, 2013. Proceedings
Product Code:
9783642380877
ISBN13:
9783642380877
Condition:
New
$61.47
NASA Formal Methods: 5th International Symposium, Nfm 2013, Moffett Field, Ca, Usa, May 14-16, 2013. Proceedings
$61.47
NASA Formal Methods: 5th International Symposium, Nfm 2013, Moffett Field, Ca, Usa, May 14-16, 2013. Proceedings
| Author: Guillaume Brat |
| Publisher: Springer |
| Publication Date: Apr 17, 2013 |
| Number of Pages: 486 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3642380875 |
| ISBN-13: 9783642380877 |