Languages
Bove, Ana.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Language engineering and rigorous software development = International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 : revised tutorial lectures /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Bove, Ana.; SpringerLink (Online service)
(Electronic resources)
Subjects
Management of Computing and Information Systems.
Software Engineering.
Formal methods (Computer science)
Type theory
Programming languages (Electronic computers)
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Simulation and Modeling.
Computer software- Development