Perspectives of System Informatics
by Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
Computer scienceSoftware engineeringProgramming languages (electronic computers)Logic, symbolic and mathematicalSystems engineering
Writing a summary for young readers…
For young readers
Book data: Open Library