Isabelle
A Generic Theorem Prover, Lecture Notes in Computer Science 828
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 28.07.1994
Umfang: xix, 329 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540582441
Umbreit-Nr.: 1434150
