Boulanger jl (5 risultati)

Cloth. Condizione: FR/NO DUSTJACKET. (Canada): Department of Highways and Mines. FR/NO DUSTJACKET. 1930. . Cloth. Includes fold-out highway map of the Province of Quebec. . 8vo., 876pp., Binding rubbed with frayed tips, spine torn; faint paint splatters on front cover; hinges cracked . Black & White Photos/maps (illustratore).

Condizione: new.

Condizione: New. 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 define a safety architecture (including redundancy, diversifi.

Gebunden. Condizione: New. 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 application, described in a programming language. It took until .

Condizione: New. A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive industry, the purpose of this book is to present a summary of .