PProof and System-ReliabilityProof and System-Reliabilityde Helmut Schwichtenberg, Ralf SteinbrüggenEdiciones (1)Proof and System-Reliability (2012)Springer · inglés · ISBN 9789401004138Más obras de Helmut SchwichtenbergComputer science logicComputational logic