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...
100 Mandela Moments
Kate Sidley Paperback R231 Discovery Miles 2 310
The Asian Aspiration - Why And How…
Greg Mills, Olusegun Obasanjo, … Paperback R350 R317 Discovery Miles 3 170
Jump - A Memoir
Lenerd Louw Paperback R304 Discovery Miles 3 040
All Dhal'd Up - Every Day, Indian-ish…
Kamini Pather Hardcover R420 R325 Discovery Miles 3 250
Nasty Women Talk Back - Feminist Essays…
Joy Watson Paperback  (2)
R251 Discovery Miles 2 510
Waterboy - Making Sense Of My Son's…
Glynis Horning Paperback R320 R295 Discovery Miles 2 950
Imtiaz Sooliman And The Gift Of The…
Shafiq Morton Paperback  (1)
R360 R332 Discovery Miles 3 320
Light Through The Bars - Understanding…
Babychan Arackathara Paperback R30 R28 Discovery Miles 280
Madam & Eve: Family Meeting
Stephen Francis Paperback R220 R203 Discovery Miles 2 030
Uncaptured - The True Account Of The…
Mosilo Mothepu Paperback R336 Discovery Miles 3 360

 

Partners