Formal Techniques for Safety-Critical Systems
by Cyrille Artho, Peter Csaba Ölveczky
System failures (engineering)Systems engineeringFormal languagesSoftware engineeringComputer scienceLogic designLogics and Meanings of ProgramsComputation by Abstract Devices
Writing a summary for young readers…
For young readers
Book data: Open Library