Nasa Formal Methods 10th (13 results)
Nasa Formal Methods : 10th International Symposium, Nfm 2018, Newport News, Va, USA, April 17-19, 2018, Proceedings
Dutle, Aaron (EDT); Muñoz, César (EDT); Narkawicz, Anthony (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 45.21
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Nasa Formal Methods : 10th International Symposium, Nfm 2018, Newport News, Va, USA, April 17-19, 2018, Proceedings
Dutle, Aaron (EDT); Muñoz, César (EDT); Narkawicz, Anthony (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 52.95
£ 1.98 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Nasa Formal Methods : 10th International Symposium, Nfm 2018, Newport News, Va, USA, April 17-19, 2018, Proceedings
Dutle, Aaron (EDT); Muñoz, César (EDT); Narkawicz, Anthony (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.36
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 55.95
£ 11.29 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 61.12
£ 8.01 shippingShips from Ireland to U.S.A.Quantity: 15 available
Condition: New.
Nasa Formal Methods : 10th International Symposium, Nfm 2018, Newport News, Va, USA, April 17-19, 2018, Proceedings
Dutle, Aaron (EDT); Muñoz, César (EDT); Narkawicz, Anthony (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 55.93
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 76.21
£ 2.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. 1st ed. 2018 edition NO-PA16APR2015-KAP.
- Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 75.84
£ 7.88 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Nasa Formal Methods: 10th International Symposium, Nfm 2018, Newport News, Va, USA, April 17-19, 2018, Proceedings
Dutle, Aaron (Editor)/ Muñoz, César (Editor)/ Narkawicz, Anthony (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 69.33
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 484 pages. 9.25x6.10x1.02 inches. In Stock.
- Softcover
- Print on Demand
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.88
£ 6.49 shippingShips from United Kingdom to U.S.A.Quantity: 20 available
PF. Condition: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 76.44
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand.
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 77.99
£ 8.39 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND.
- Softcover
- Print on Demand
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 57.67
£ 29.51 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book constitutes the proceedings of the 10th International Symposiumon NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.The 24 full and 7 short papers presented in this volume were carefullyreviewed and selected from 92 submissions. The papers focuson formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.…
