Author: George Wallace
Publisher: Macmillan
ISBN: 9780765343178
Category : Fiction
Languages : en
Pages : 482
Book Description
The national bestseller is now in paperback. "George Wallace and Don Keith take you to the heart of the action as America fights a secret battle in a brilliantly portrayed South American setting. A great tale."--W.E.B. Griffin.
Final Bearing
Author: George Wallace
Publisher: Macmillan
ISBN: 9780765343178
Category : Fiction
Languages : en
Pages : 482
Book Description
The national bestseller is now in paperback. "George Wallace and Don Keith take you to the heart of the action as America fights a secret battle in a brilliantly portrayed South American setting. A great tale."--W.E.B. Griffin.
Publisher: Macmillan
ISBN: 9780765343178
Category : Fiction
Languages : en
Pages : 482
Book Description
The national bestseller is now in paperback. "George Wallace and Don Keith take you to the heart of the action as America fights a secret battle in a brilliantly portrayed South American setting. A great tale."--W.E.B. Griffin.
Air Controlman 1 & C.
Author: Naval Education and Training Program Development Center
Publisher:
ISBN:
Category : Air traffic control
Languages : en
Pages : 262
Book Description
Publisher:
ISBN:
Category : Air traffic control
Languages : en
Pages : 262
Book Description
Approach
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 52
Book Description
The naval aviation safety review.
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 52
Book Description
The naval aviation safety review.
Maintenance of Aeronautical Antifriction Bearings
Author: United States. Navy Department. Bureau of Aeronautics
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 390
Book Description
The instructions and information contained in this handbook are proposed to cover the handling and maintenance of a bearing from the time it is received in Supply stock from the prime manufacturer until it is rejected as unfit for aeronautical use.
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 390
Book Description
The instructions and information contained in this handbook are proposed to cover the handling and maintenance of a bearing from the time it is received in Supply stock from the prime manufacturer until it is rejected as unfit for aeronautical use.
Air Controlman 1 & C.
Author: United States. Bureau of Naval Personnel
Publisher:
ISBN:
Category : Air traffic control
Languages : en
Pages : 166
Book Description
Publisher:
ISBN:
Category : Air traffic control
Languages : en
Pages : 166
Book Description
Air Controlman 3 & 2
Author: United States. Bureau of Naval Personnel
Publisher:
ISBN:
Category : Air traffic control
Languages : en
Pages : 352
Book Description
Publisher:
ISBN:
Category : Air traffic control
Languages : en
Pages : 352
Book Description
Approach Mech
Scientific and Technical Aerospace Reports
Technical Note - National Advisory Committee for Aeronautics
Author: United States. National Advisory Committee for Aeronautics
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 332
Book Description
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 332
Book Description
Formal Methods for Industrial Critical Systems
Author: Maurice H. ter Beek
Publisher: Springer Nature
ISBN: 3030582981
Category : Computers
Languages : en
Pages : 289
Book Description
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event. The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking. The book also contains a lengthy report on a Formal Methods Survey conducted on occasion of the 25th edition of the conference.
Publisher: Springer Nature
ISBN: 3030582981
Category : Computers
Languages : en
Pages : 289
Book Description
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event. The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking. The book also contains a lengthy report on a Formal Methods Survey conducted on occasion of the 25th edition of the conference.