Instruction Sequences for Computer Sciencede Jan A. BergstraMateriasMathematical Logic and Formal LanguagesComputer Systems Organization and Communication NetworksComputer network architecturesLogic designLogics and Meanings of ProgramsComputation by Abstract DevicesComputer scienceProgramming Languages, Compilers, InterpretersEdiciones (2)
PPromises and Threats by Asymmetric Nuclear-Weapon StatesPromises and Threats by Asymmetric Nuclear-Weapon States