Jl boulanger (5 resultados)
Editorial: Department of Highways and Mines, (Canada), 1930
- Tapa dura
Librería: Riverow Bookshop, Owego, NY, Estados Unidos de AmericaRiverow Bookshop
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 11,06
Envío por EUR 5,82Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoCloth. Condición: 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 (ilustrador).…
- Tapa dura
Librería: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 146,53
Envío por EUR 6,80Se envía de Italia a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: new.
- Tapa dura
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 179,19
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Gebunden. Condición: 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.
- Tapa dura
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 182,25
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Gebunden. Condición: 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 .
- Tapa dura
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 215,87
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Gebunden. Condición: 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 .
