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 .8430) (2014. 2014. xxvi, 360 S. 114 SW-Abb.,. 235 mm)

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 .8430) (2014. 2014. xxvi, 360 S. 114 SW-Abb.,. 235 mm)
Brand: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING
SKU: 00000_00000_00000_00000
Price: 100.69 SGD
Availability: InStock

Herausgegeben von Badger, Julia M./ Rozier, Kristin Yvonne

100.69 SGD

Member Price

90.63

English

Quantity:

Publisher

SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING

Publication Date

Apr 2014

ISBN

9783319061993

Pages

385

Item Type

Book

Format

Paperback

Available to Order

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

Free domestic shipping on orders over 50.00SGD

Your Cart

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 .8430) (2014. 2014. xxvi, 360 S. 114 SW-Abb.,. 235 mm)

Available to Order

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 .8430) (2014. 2014. xxvi, 360 S. 114 SW-Abb.,. 235 mm)

Recently Viewed Items

Related Products