Formal Techniques for Distributed Systems
by Holger Giese
Mathematical Logic and Formal LanguagesProgramming TechniquesSoftware engineeringComputer networksLogic designLogics and Meanings of ProgramsComputer scienceProgramming Languages, Compilers, Interpreters
Writing a summary for young readers…
For young readers
Book data: Open Library