Deductive Program Design )de Manfred BroyMateriasSystem designElectronic data processingLogic, symbolic and mathematicalEdiciones (1)Deductive Program Design ) (2011)Springer · ISBN 9783642648496Más obras de Manfred BroyModellbildung in der InformatikProjektorganisation Und Management Im Software EngineeringVDI-Lexikon Informatik und Kommunikationstechnik (VDI-Buch) (German Edition)