Static Analysisde Eran YahavMateriasLogic designComputer simulationComputer scienceSoftware engineeringComputer programmingProgramming languages (electronic computers)Logics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersProgramming TechniquesSimulation and ModelingEdiciones (1)Static Analysis (2011)Springer-Verlag GmbH Berlin Heidelberg · inglés · ISBN 9783642237010Más obras de Eran YahavHHardware and Software : Verification and TestingHardware and Software : Verification and TestingPProgramming with Big CodeProgramming with Big CodeVer todas las obras de Eran Yahav →