0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R2,500 - R5,000 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Formal Methods for Safety and Security - Case Studies for Aerospace Applications (Hardcover, 1st ed. 2018): Manju Nanda,... Formal Methods for Safety and Security - Case Studies for Aerospace Applications (Hardcover, 1st ed. 2018)
Manju Nanda, Yogananda Jeppu
R3,243 R3,014 Discovery Miles 30 140 Save R229 (7%) Ships in 9 - 17 working days

This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Right By Design - A Novel Approach to…
Ed Henshall Hardcover R4,083 Discovery Miles 40 830
Disruptive Thinking - A Daring Strategy…
T.D. Jakes Paperback R300 R268 Discovery Miles 2 680
Baseline - Confronting Reality and…
Charles Protzman, Fred Whiton, … Hardcover R3,937 Discovery Miles 39 370
Vertical Gardening Tips For Beginners
Timothy Tripp Paperback R308 Discovery Miles 3 080
The Tragedy of King Lear
William Shakespeare Hardcover R2,033 Discovery Miles 20 330
Landscaping Ideas for Beginners - The…
Mark Light Paperback R404 Discovery Miles 4 040
Shakespeare and Gender in Practice
Terri Power Hardcover R3,012 Discovery Miles 30 120
Stress in Health and Disease, An Issue…
Daniel L. Kirsch Hardcover R1,938 Discovery Miles 19 380
Developmental Psychology and Young…
Olivera Petrovich Hardcover R4,061 Discovery Miles 40 610
Substance Abuse and Mental Health…
Jerry L. Johnson, George Grant Jr. Paperback R1,203 Discovery Miles 12 030

 

Partners