Languages
Codescu, Mihai.
Overview
Works: | 0 works in 1 publications in 1 languages |
---|
Titles
Recent trends in algebraic development techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /
by:
Codescu, Mihai.; Diaconescu, Razvan.; Tutu, Ionut.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Mathematics of Computing.
Computation by Abstract Devices.
Computer science- Mathematics
Formal methods (Computer science)
Computer software- Development
Computer Science.