Picture 1 of 1
Picture 1 of 1
NASA Formal Methods - 9783642380877
GBP 39.41
ApproximatelyRM 221.14
Condition:
Brand New
A new, unread, unused book in perfect condition with no missing or damaged pages.
Postage:
GBP 22.40 (approx RM 125.69) International Priority Shipping to United States via eBay's Global Shipping Program.
Located in: Aldershot, United Kingdom
Import charges:
Free amount confirmed at checkout
Delivery:
Estimated between Fri, 4 Oct and Mon, 14 Oct to 43230
Includes international tracking
Returns:
60 days return. Buyer pays for return shipping.
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Shop with confidence
Seller assumes all responsibility for this listing.
eBay item number:285345473445
Item specifics
- Condition
- Brand New: A new, unread, unused book in perfect condition with no missing or damaged pages. See all condition definitionsopens in a new window or tab
- Book Title
- NASA Formal Methods
- ISBN
- 9783642380877
- Publication Name
- NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
- Publisher
- Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
- Subject
- Computer Science
- Publication Year
- 2013
- Series
- Lecture Notes in Computer Science
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Item Height
- 235 mm
- Item Weight
- 777 g
- Item Width
- 155 mm
- Number of Pages
- 486 Pages
About this product
Product Information
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 carefully 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.
Product Identifiers
Publisher
Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
ISBN-13
9783642380877
eBay Product ID (ePID)
152646054
Product Key Features
Number of Pages
486 Pages
Language
English
Publication Name
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Publication Year
2013
Subject
Computer Science
Type
Textbook
Series
Lecture Notes in Computer Science
Format
Paperback
Dimensions
Item Height
235 mm
Item Weight
777 g
Item Width
155 mm
Volume
7871
Additional Product Features
Editor
Neha Rungta, Arnaud Venet, Guillaume Brat
Country/Region of Manufacture
Germany
Item description from the seller
Business seller information
Value Added Tax Number:
- GB 976952259
Seller feedback (531,474)
- g***w (6707)- Feedback left by buyer.Past monthVerified purchaseexcellent first class service
- a***6 (633)- Feedback left by buyer.Past monthVerified purchaseBooks etc. are always excellent. Have bought from many times
- a***6 (633)- Feedback left by buyer.Past monthVerified purchaseBooks etc. are always excellent. Have bought feom many times
More to explore :
- Nonfiction Methodism Fiction & Nonfiction Books,
- Nonfiction Methodism Paperbacks Books,
- Methodism Nonfiction Hardcovers Books,
- Nonfiction Books Illustrated Fiction & Methodism,
- Religious & Spiritual Methodism Nonfiction Hardcover Books,
- Hardcover Illustrated Nonfiction Methodism Illustrated Books,
- Nonfiction Methodism Religious & Spiritual Fiction & Books,
- Nonfiction Methodism Illustrated Fiction & Nonfiction Books in English,
- Methodism Nonfiction Books Hardcover 1900-1949 Publication Year,
- Nonfiction Methodism Paperbacks Books 1950-1999 Publication Year