(cf model railway
1Formal Methods. Industrial Use from Model to the Code , Jean-Louis Boulanger
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software… 12483.68 руб электронная книга2Safety Management of Software-based Equipment , Jean-Louis Boulanger
A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives. It then moves on to show how it is possible to… 7794.92 руб электронная книга3Future Perfect: The Case for Progress in a Networked Age , Steven Johnson (2013)
Combining the deft social analysis of WHERE GOOD IDEAS COME FROM with the optimistic arguments of EVERYTHING BAD IS GOOD FOR YOU, New York Times bestselling author and one of the most inspiring… 719 руб4Multimodal Transport Systems , Slim Hammadi
The use and management of multimodal transport systems, including car-pooling and goods transportation, have become extremely complex, due to their large size (sometimes several thousand variables)… 10269.66 руб электронная книга