Modular Compiler Verification
A Refinement-Algebraic Approach Advocating Stepwise Abstraction, Lecture Notes in Computer Science 1283
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 06.08.1997
Umfang: xvi, 260 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540634065
Umbreit-Nr.: 1462220
