Logic and Program Semantics
Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday, Lecture Notes in Computer Science 7230 - Programming and Software Engineering
Robert L Constable/Alexandra Silva
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 11.04.2012
Umfang: xiii, 357 S., 45 s/w Illustr., 357 p. 45 illus.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783642294846
Umbreit-Nr.: 3491912
