TY - BOOK AU - Delgado Kloos,Carlos ED - SpringerLink (Online service) TI - Semantics of Digital Circuits T2 - Lecture Notes in Computer Science, SN - 9783540480129 AV - TK7800-8360 U1 - 621.381 23 PY - 1987/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Engineering KW - Logic design KW - Computer science KW - Electronics KW - Electronics and Microelectronics, Instrumentation KW - Logic Design KW - Programming Languages, Compilers, Interpreters KW - Logics and Meanings of Programs KW - Programming Techniques N1 - The stream language -- Procedural level agents -- Register transfer level agents -- Gate level agents -- Switch level agents -- Conclusion UR - http://dx.doi.org/10.1007/3-540-18540-2 ER -