NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

Name: NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Author: Unknown Author
ISBN: 9783319061993

by Unknown Author

NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by Unknown Author

Marketplace Prices
New from $52.33

New
$52.33

List Price

~~$84.00~~

Discount

37% Off

You Save

$31.67

Recommended

Item Details
Condition: New
Provider: LightningBooks Contact
Provider Rating:

85%
Ships From: Multiple Locations
Shipping: Standard, Expedited (tracking available)
Comments: Fast shipping! All orders include delivery confirmation.

ISBN-13: 9783319061993
ISBN: 3319061992
Edition: 2014
Publication Date: 2014
Publisher: Springer

AUTHOR

by Unknown Author

SUMMARY

NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering), 2014 was published 2014 under ISBN 9783319061993 and ISBN 3319061992.

[read more]