Shuttle Program Status(1st Edition)
Authors:
Nasa ,National Aeronautics And Space Administration
In Stock: 2 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 979-8396600171
Book publisher: Independently published
Book Price $0 : This Guidebook, The Second Of A Two-volume Series, Is Intended To Facilitate The Transfer Of Formal Methods To The Avionics And Aerospace Community. The 1st Volume Concentrates On Administrative And Planning Issues [NASA-95a], And The Second Volume Focuses On The Technical Issues Involved In Applying Formal Methods To Avionics And Aerospace Software Systems. Hereafter, The Term "guidebook" Refers Exclusively To The Second Volume Of The Series. The Title Of This Second Volume, A Practitioner's Companion, Conveys Its Intent. The Guidebook Is Written Primarily For The Nonexpert And Requires Little Or No Prior Experience With Formal Methods Techniques And Tools. However, It Does Attempt To Distill Some Of The More Subtle Ingredients In The Productive Application Of Formal Methods. To The Extent That It Succeeds, Those Conversant With Formal Methods Will Also Nd The Guidebook Useful. The Discussion Is Illustrated Through The Development Of A Realistic Example, Relevant Fragments Of Which Appear In Each Chapter. The Guidebook Focuses Primarily On The Use Of Formal Methods For Analysis Of Requirements And High-level Design, The Stages At Which Formal Methods Have Been Most Productively Applied. Although Much Of The Discussion Applies To Low-level Design And Implementation, The Guidebook Does Not Discuss Issues Involved In The Later Life Cycle Application Of Formal Methods.
Customers also bought these books
Financial management theory and practice - 12th Edition
Eugene F. Brigham and Michael C. Ehrhardt
ISBN: 978-0030243998, 30243998, 324422695, 978-0324422696
$0 $11.00
Intermediate Accounting - 13th Edition
Donald E. Kieso
ISBN: 9780470374948, 470423684, 470374942, 978-0470423684
$0 $16.04
Programming With Microsoft Visual Basic 2017 - 8th Edition
Diane Zak
ISBN: 1337102121, 9781337517058, 978-1337102124
$0 $11.54
Saturn I Launch Vehicle Sa 8 And Launch Complex 37b Functional Systems Description Volume V May 1 1964 - 1st Edition
Nasa
ISBN: 979-8850308865
$0 $9.00
Care 3 Phase 2 Report Maintenance Manual September 1 1982 - 1st Edition
Nasa
ISBN: 979-8399814049
$0 $9.50
War Of Intervention In Angola Volume 1 Angolan And Cuban Forces At War 1975 1976 - 1st Edition
Tom Cooper
ISBN: 1911628194, 978-1911628194
$0 $15.28
Coco The Colorful History Of Tandys Underdog Computer - 1st Edition
Boisy G Pitre
ISBN: 1466592478, 978-1466592476
$0 $16.07
Psychology A Concise Introduction - 6th Edition
Richard A. Griggs
ISBN: 1319122620, 9781319122621
$0 $45.80
O Nascimento Do Bitcoin Do B Money A Primeira Versao - 1st Edition
Leonardo Araujo
ISBN: B0CSG7T1CL, 979-8876316721
$0 $4.00
Analysis for Financial Management - 12th edition
Robert C. Higgins
ISBN: 1259918963, 9781260140729 , 978-1259918964
$0 $44.98
Principles And Practice Of Sport Management - 7th Edition
Lisa Pike Masteralexis
ISBN: 1284254305, 978-1284254303
$63.7 $91.00
Risks Rewards And Regulation Of Unconventional Gas A Global Perspective - 1st Edition
R Quentin Grafton
ISBN: 110712008X, 978-1107120082
$0 $19.72
The Moth And The Mountain A True Story Of Love War And Everest - 1st Edition
Ed Caesar
ISBN: 0241977258, 978-0241977255
$0 $9.43
Windows Vista Step By Step Deluxe Edition - Deluxe Edition
Joyce Cox
ISBN: 0735625328, 978-0735625327
$0 $6.54Popular Among Students
Sampling Of Populations Methods And Applications - 4th Edition
Paul S. Levy
ISBN: 0470040076, 9780470040072
$56.36 $80.52
The Charter Of The United Nations A Commentary - 1st Edition
Bruno Simma
ISBN: 0199580154, 978-0199580156
$175 $250.00
Sampling For Health Professionals - 1st Edition
Paul S. Levy
ISBN: 0534979866, 9780534979867
$0 $9.75
Applied Multiple Regression Correlation Analysis For The Behavioral Sciences - 3rd Edition
Jacob Cohen
ISBN: 0805822232, 9780805822236
$0 $26.37
Applied Multiple Regression Correlation Analysis For The Behavioral Sciences - 2nd Edition
Jacob Cohen
ISBN: 0898592682, 9780898592689
$0 $7.29
By The Light Of Burning Dreams The Triumphs And Tragedies Of The Second American Revolution - 1st Edition
David Talbot
ISBN: 0062820397, 978-0062820396
$0 $9.00
Dynamics And Control Of Autonomous Flight - 1st Edition
Mark Mueller
ISBN: 3031918703, 978-3031918704
$66.84 $95.49
Nasa Historical Data Book Volume Vii Nasa Launch Systems Space Transportation/Human Spaceflight And Space Science 1989 1998 - 1st Edition
National Aeronautics And Space Administration
ISBN: 1501079735, 978-1501079733
$0 $22.99
Test Facilities Capability Handbook Volume 1 Stennis Space Center Volume 2 Marshall Space Flight Center - 1st Edition
Nasa
ISBN: 979-8396341036
$0 $10.50
Fostering Visions For The Future A Review Of The Nasa Institute Of Advanced Concepts - 1st Edition
National Research Council
ISBN: 030914051X, 978-0309140515
$0 $16.50
Principles Of Turbomachinery In Air Breathing Engines - 2nd Edition
Erian A. Baskharone
ISBN: 1108491820, 9781108491822
$0 $65.37
Ai Driven Product Design A Practical Guide For Business Implementation - 1st Edition
Gethin Roberts
ISBN: B0BLP2T4N6, B0DV4TT87X
$0 $3.88
Sustainable And Environmentally Friendly Dairy Farms - 1st Edition
Santiago García Yuste
ISBN: 3030460592, 3030460606, 9783030460594, 9783030460600
$0 $64.99
Proceedings Of The 10th World Congress On Engineering Asset Management WCEAM 2015 - 2015 Edition
Kari T. Koskinen
ISBN: 3319800655, 978-3319800653
$191.22 $273.17