Languages
Montanari, Ugo.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Models of computation
by:
SpringerLink (Online service); Montanari, Ugo.; Bruni, Roberto.
(Language materials, printed)
Recent trends in algebraic development techniques = 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Corradini, Andrea.; Montanari, Ugo.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering/Programming and Operating Systems.
Theory of Computation.
Mathematics of Computing.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Computer science
Computation by Abstract Devices.
Computer software