Formal Verification of Control System Software - Princeton Series in Applied Mathematics - Pierre-Loic Garoche - Boeken - Princeton University Press - 9780691181301 - 14 mei 2019
Indien omslag en titel niet overeenkomen, is de titel correct

Pierre-Loic Garoche
Formal Verification of Control System Software - Princeton Series in Applied Mathematics

Prijs
€ 73,99

Besteld in een afgelegen magazijn

Verwachte levering 8 - 19 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

An essential introduction to the analysis and verification of control system softwareThe verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. In this authoritative and accessible

224 pages, 79 b/w illus.

Media Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 14 mei 2019
ISBN13 9780691181301
Uitgevers Princeton University Press
Pagina's 232
Afmetingen 243 × 163 × 15 mm   ·   536 g
Taal en grammatica Engels  

Meer door Pierre-Loic Garoche

Alles tonen

Bekijk alles van Pierre-Loic Garoche ( bijv. Hardcover Book en Paperback Book )