Back to home page
|Listed in category:
|
Add to Watchlist
Postage and deliveryClick "see details" for additional postage and returns information.

Picture 1 of 1

NASA Formal Methods : 9th International Symposi. Barrett, Davies, Kahsai<| - Picture 1 of 1
Have one to sell?
Sell it yourself

NASA Formal Methods : 9th International Symposi. Barrett, Davies, Kahsai<|

baham_books
  • (2338824)
  • Registered as a business seller
£89.74
ApproximatelyEUR 107.62
Condition:
New
5 available
Postage:
May not post to United States. Read item description or contact seller for postage options.
Located in: South East, United Kingdom
Delivery:
Varies
Returns:
30 days return. Buyer pays for return postage.
Payments:
    

Shop with confidence

eBay Money Back Guarantee
Get the item you ordered or your money back. Learn moreeBay Money Back Guarantee - opens new window or tab
Report this item - opens in new window or tab
Seller assumes all responsibility for this listing.
eBay item number:305376769551

Item specifics

Condition
New: A new, unread, unused book in perfect condition with no missing or damaged pages. See the ...
PublishedOn
2017-04-09
Title
NASA Formal Methods : 9th International Symposium, NFM 2017, Mof
ISBN
9783319572871
Publication Name
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Publisher
Springer International Publishing A&G
Subject
Computer Science
Series
Programming and Software Engineering
Publication Year
2017
Type
Textbook
Format
Paperback
Language
English
Item Height
235 mm
Author
Clark Barrett, Misty Davies, Temesghen Kahsai
Item Width
155 mm
Item Weight
682 g
Number of Pages
436 Pages

About this product

Product Information

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017. The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on 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.

Product Identifiers

Publisher
Springer International Publishing A&G
ISBN-13
9783319572871
eBay Product ID (ePID)
236774855

Product Key Features

Series
Programming and Software Engineering
Author
Clark Barrett, Misty Davies, Temesghen Kahsai
Publication Name
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2017
Type
Textbook
Number of Pages
436 Pages

Dimensions

Item Height
235 mm
Item Width
155 mm
Item Weight
682 g
Volume
10227

Additional Product Features

Country/Region of Manufacture
Switzerland
Editor
Temesghen Kahsai, Misty Davies, Clark Barrett

Item description from the seller

Business seller information

WRAP Ltd.
Mubin Ahmed
Unit 4
119 Loverock Road
Reading
Berkshire
RG30 1DZ
United Kingdom
Show contact information
:enohP60358080080
:liamEmoc.aidemtumahab@yabe
Value added tax number:
  • GB 724498118
Trade registration number:
  • 03800600
I certify that all my selling activities will comply with all EU laws and regulations.
CRN Number:
  • 03800600
baham_books

baham_books

99.2% positive Feedback
9.5M items sold
Visit ShopContact
Joined Aug 2011

Detailed seller ratings

Average for the last 12 months
Accurate description
4.9
Reasonable postage cost
5.0
Delivery time
5.0
Communication
4.9

Popular categories from this shop

See allcategories
Digital - Action & AdventureDigital - AnimeDigital - ChildrensDigital - ClassicsDigital - ComedyDigital - DramaDigital - FitnessDigital - MusicDigital - Television
Registered as a business seller

Seller Feedback (3,049,676)

See all Feedback

More to explore: