000 00982nmm a2200277Ia 4500
008 140908s9999 xx 000 0 und d
020 _a9789491216657, 978-94-91216-65-7
040 _aNISER LIBRARY
041 _aEnglish
082 _a004.0151,
_b23
245 _aInstruction Sequences for Computer Science
260 _aParis
_bAtlantis Press, Imprint: Atlantis Press,
_c2012.
500 _aMathematics and Statistics (Springer-11649)
650 _aProgramming Languages, Compilers, Interpreters
650 _aComputation by Abstract Devices
650 _aComputer network architectures
650 _aComputer science
650 _aComputer Science
650 _aComputer Systems Organization and Communication Networks
650 _aLogic design
650 _aLogics and Meanings of Programs
650 _aMathematical Logic and Formal Languages
700 _aBergstra, Jan A., author.
856 _uhttp://dx.doi.org/10.2991/978-94-91216-65-7
942 _cEB
999 _c14824
_d14824