Nasa Formal Methods 5th (9 results)
Nasa Formal Methods : 5th International Symposium, Nfm 2013, Moffett Field, Ca, USA, May 14-16, 2013. Proceedings
Brat, Guillaume (EDT); Rungta, Neha (EDT); Venet, Arnaud (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 60.83
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 70.04
US$ 16.04 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 66.09
US$ 20.73 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
Nasa Formal Methods : 5th International Symposium, Nfm 2013, Moffett Field, Ca, USA, May 14-16, 2013. Proceedings
Brat, Guillaume (EDT); Rungta, Neha (EDT); Venet, Arnaud (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.50
US$ 20.08 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 62.82
US$ 72.80 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were careful…ly reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.20
US$ 79.83 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. NASA Formal Methods | 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings | Guillaume Brat (u. a.) | Taschenbuch | xxiv | Englisch | 2013 | Springer | EAN 9783642380877 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelbe…rg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Nasa Formal Methods : 5th International Symposium, Nfm 2013, Moffett Field, Ca, USA, May 14-16, 2013. Proceedings
Brat, Guillaume (EDT); Rungta, Neha (EDT); Venet, Arnaud (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 126.83
US$ 20.08 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 115.82
US$ 33.46 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Nasa Formal Methods : 5th International Symposium, Nfm 2013, Moffett Field, Ca, USA, May 14-16, 2013. Proceedings
Brat, Guillaume (EDT); Rungta, Neha (EDT); Venet, Arnaud (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 146.63
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
