Objects, Models, Components, Patternsde Carlo A. FuriaMateriasMathematical Logic and Formal LanguagesProgramming TechniquesSoftware engineeringComputer networksLogic designLogics and Meanings of ProgramsComputer scienceProgramming Languages, Compilers, InterpretersComputer Communication NetworksEdiciones (1)Objects, Models, Components, Patterns (2012)Springer Berlin Heidelberg · inglés · ISBN 9783642305610Más obras de Carlo A. FuriaTests and ProofsIntegrated Formal MethodsVer todas las obras de Carlo A. Furia →