TY - BOOK ID - 6548351 TI - Foundations of computer science AU - de Bakker, J. W. AU - Van Leeuwen, Jan PY - 1983 VL - 159 SN - 9061962552 9789061962557 PB - Amsterdam Mathematisch centrum DB - UniCat KW - 681.3*B7 KW - 681.3*C24 KW - 681.3*D33 KW - 681.3*F3 KW - 681.3*F31 KW - Integrated circuits (Hardware) KW - Distributed systems: distributed databases; distributed applications; networkoperating systems KW - Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) KW - Logics and meanings of programs (Theory of computation) KW - Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} KW - 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} KW - 681.3*F3 Logics and meanings of programs (Theory of computation) KW - 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) KW - 681.3*C24 Distributed systems: distributed databases; distributed applications; networkoperating systems KW - 681.3*B7 Integrated circuits (Hardware) UR - https://www.unicat.be/uniCat?func=search&query=sysid:6548351 AB - ER -