TY - BOOK ID - 2006203 TI - International symposium on programming : 5th colloquium, Turin, April 6-8, 1982 : proceedings AU - Dezani-Ciancaglini, M. AU - MONTANARI, U. PY - 1982 VL - 137 SN - 3540114947 3540391843 9783540114949 PB - Berlin ; Heidelberg ; New York, NY : Springer-Verlag, DB - UniCat KW - Programming KW - 681.3*A0 KW - 681.3*D1 KW - 681.3*F3 KW - General KW - Programming techniques--See also {681.3*E} KW - Logics and meanings of programs (Theory of computation) KW - 681.3*F3 Logics and meanings of programs (Theory of computation) KW - 681.3*D1 Programming techniques--See also {681.3*E} KW - 681.3*A0 General KW - Logic design. KW - Computer science. KW - Logics and Meanings of Programs. KW - Programming Techniques. KW - Informatics KW - Science KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory UR - https://www.unicat.be/uniCat?func=search&query=sysid:2006203 AB - ER -