FME 2002de Lars-Henrik ErikssonMateriasDevelopmentCongressesSystem designMathematicsFormal methods (Computer science)Computer softwareComputer software, developmentEdiciones (1)FME 2002: Formal Methods - Getting IT Right (2002)Springer · inglés · ISBN 9783540439288Más obras de Lars-Henrik ErikssonExtensions of Logic ProgrammingFFME 2002 : Formal Methods - Getting IT RightFME 2002 : Formal Methods - Getting IT RightVer todas las obras de Lars-Henrik Eriksson →