ملخص: The theory of formal semantics for programming languages was developed to allow the function of computer programs to be defined precisely. As a consequence better programs could be constructed and verified with respect to specification. It has now become evident that a similar treatment is necessary for digital circuits. This book lays a formal foundation based on a single scheme language for formally describing the behaviour of digital systems, upon which a methodology of design and development of digital circuits can be built.

طبعة: Berlin: Springer-Verlag Springer-Verlag
لغة: إنجليزية
الوصف المادي: 124 p. ;24 cm
ISBN: 3540185402