Author: Great Britain. Ministry of DefencePublisher:
ISBN:
Category : Defense industries
Languages : en
Pages :
Book Description
Ministry of Defence Defence Standard 61
Author: Great Britain. Ministry of DefencePublisher:
ISBN:
Category : Defense industries
Languages : en
Pages :
Book Description
Department Of Defense Index of Specifications and Standards Numerical Canceled Listing (APPENDIX) Part IV September 2005
Author: Publisher: DIANE Publishing
ISBN: 1428983473
Category :
Languages : en
Pages : 1252
Book Description
Department Of Defense Index of Specifications and Standards Alphabetical Listing Part I July 2005
Author: Publisher: DIANE Publishing
ISBN: 1428983406
Category :
Languages : en
Pages : 779
Book Description
Department Of Defense Index of Specifications and Standards Federal Supply Class Listing (FSC) Part III September 2005
Author: Publisher: DIANE Publishing
ISBN: 1428983465
Category :
Languages : en
Pages : 770
Book Description
Defence Logistics
Author: Jeremy SmithPublisher: Kogan Page Publishers
ISBN: 0749478047
Category : Business & Economics
Languages : en
Pages : 393
Book Description
The management of logistics and supply chain operations is of vital importance in the defence sector. Defence Logistics looks at established theories and their practical utility, providing insights into current thinking for postgraduate and undergraduate students, lecturers, researchers, practitioners and professionals through real-life case studies. Defence Logistics focuses on key areas of logistics and supply chain management in context, such as sustainability, inventory management, resilience, procurement, information systems and crisis response. This comprehensive and up-to-the-minute collection includes contributions from international academics from a range of universities, academies and defence schools, along with practitioners who are currently working in the field of defence logistics.
Concise Guide to Formal Methods
Author: Gerard O'ReganPublisher: Springer
ISBN: 3319640216
Category : Mathematics
Languages : en
Pages : 336
Book Description
This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computing. Topics and features: introduces the key concepts in software engineering, software reliability and dependability, formal methods, and discrete mathematics; presents a short history of logic, from Aristotle’s syllogistic logic and the logic of the Stoics, through Boole’s symbolic logic, to Frege’s work on predicate logic; covers propositional and predicate logic, as well as more advanced topics such as fuzzy logic, temporal logic, intuitionistic logic, undefined values, and the applications of logic to AI; examines the Z specification language, the Vienna Development Method (VDM) and Irish School of VDM, and the unified modelling language (UML); discusses Dijkstra’s calculus of weakest preconditions, Hoare’s axiomatic semantics of programming languages, and the classical approach of Parnas and his tabular expressions; provides coverage of automata theory, probability and statistics, model checking, and the nature of proof and theorem proving; reviews a selection of tools available to support the formal methodist, and considers the transfer of formal methods to industry; includes review questions and highlights key topics in every chapter, and supplies a helpful glossary at the end of the book. This stimulating guide provides a broad and accessible overview of formal methods for students of computer science and mathematics curious as to how formal methods are applied to the field of computing.
Real and Personal Property of the Department of Defense
Author: Transactions (TM) - Institute of Marine Engineers
Author: Institute of Marine EngineersPublisher:
ISBN:
Category : Marine engineering
Languages : en
Pages : 992
Book Description
Ada in Transition
Author: W. J. TaylorPublisher: IOS Press
ISBN: 9789051991130
Category : Computers
Languages : en
Pages : 216
Book Description
"The book reviews the current practice in Ada applications, innovative developments in Ada technology, how Ada can be applied in more demanding systems in the safety-critical area and reports on the Ada 9X revision effort"--Preface.
Damage Tolerance of Metallic Aircraft Structures
Author: Sérgio M. O. TavaresPublisher: Springer
ISBN: 3319701908
Category : Technology & Engineering
Languages : en
Pages : 106
Book Description
This book provides a state-of-the-art review of the fail-safe and damage tolerance approaches, allowing weight savings and increasing aircraft reliability and structural integrity. The application of the damage tolerance approach requires extensive know-how of the fatigue and fracture properties, corrosion strength, potential failure modes and non-destructive inspection techniques, particularly minimum detectable defect and inspection intervals. In parallel, engineering practice involving damage tolerance requires numerical techniques for stress analysis of cracked structures. These evolved from basic mode I evaluations using rough finite element approaches, to current 3D modeling based on energetic approaches as the VCCT, or simulation of joining processes. This book provides a concise introduction to this subject.