Computer Aided Verification
by Armin Biere, Roderick Bloem
Computer software, verificationComputer scienceComputer network architecturesSoftware engineeringLogic designLogics and Meanings of ProgramsSoftware Engineering/Programming and Operating SystemsMathematical Logic and Formal Languages
Writing a summary for young readers…
For young readers
Book data: Open Library