NASA Formal Methods
. Ed(S): Rayadurgam, Sanjai; Tkachuk, Oksana
€ 84.35
FREE Delivery in Ireland
Description for NASA Formal Methods
Paperback. Editor(s): Rayadurgam, Sanjai; Tkachuk, Oksana. Series: Lecture Notes in Computer Science. Num Pages: 415 pages, 129 black & white illustrations, biography. BIC Classification: UMZ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 22. Weight in Grams: 635.
This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016.
The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers were organized in topical sections named: requirements and architectures; testing and run-time enforcement; theorem proving and proofs; application of formal methods; code generation and synthesis; model checking and verification; and correctness and certification.
Product Details
Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Number of pages
415
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
396
Place of Publication
Cham, Switzerland
ISBN
9783319406473
SKU
V9783319406473
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for NASA Formal Methods