Brauer wilfried edited (2 risultati)

Hard Cover. Condizione: Fine. Condizione sovraccoperta: Not Issued with a Dust Jacket. 442 pages. "For some years, specification of software and hardware systems has not only been influenced by algebraic methods (which has a long tradition) but also new development in logic. These new developments in logic are partly based on the use of algorithmic techniques in deduction and proving methods, but are also by new theoretical advances, to a great extent stimulated by computer science, which lead to new types of logics, new logical calculi." FINE HARDCOVER. Size: 8vo - over 7¾" - 9¾" tall.…

.- Berlín Heidelberg New York. 1980. Springer - Verlag. 4º menor. XIII- 537 pgs. Rústica editorial . Pequeñas imperfecciones superficiales en margen cubierta anterior. Firma anterior poseedor. Buen estado. . . ISBN 10: 3540100016. Informática.