Languages
Danvy, Olivier.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Formal modeling = actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
by:
Danvy, Olivier.; Agha, Gul.; SpringerLink (Online service); Meseguer, Jose.
(Language materials, printed)
Automatic Program Development = A Tribute to Robert Paige /
by:
SpringerLink (Online service); Danvy, Olivier.
(Language materials, printed)
Subjects
Software Engineering.
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer Communication Networks.
Programming (Mathematics)
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Computer algorithms.