NASA Formal Methods: 5th International Symposium, Nfm 2013, Moffett Field, Ca, Usa, May 14-16, 2013. Proceedings 2013 Edition Contributor(s): Brat, Guillaume (Editor), Rungta, Neha (Editor), Venet, Arnaud (Editor) |
|
ISBN: 3642380875 ISBN-13: 9783642380877 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: April 2013 |
Additional Information |
BISAC Categories: - Computers | Operating Systems - General - Computers | Compilers - Computers | Programming Languages - General |
Dewey: 005.1 |
Physical Information: 1.03" H x 6.14" W x 9.21" (1.56 lbs) 486 pages |