AAdvances in Computing Science - ASIAN 2000Advances in Computing Science - ASIAN 2000de Jifeng He, Masahiko SatoEdiciones (1)Advances in Computing Science - ASIAN 2000 (2003)Springer London, Limited · inglés · ISBN 9783540444640Más obras de Jifeng HeProvably correct systems1994Formal methods and software engineering
GGrundlagenforschung Für Vertrauenswürdige SoftwareGrundlagenforschung Für Vertrauenswürdige Software