Languages
Marti-Oliet, Narciso.
Overview
| Works: | 2 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Formal methods = foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Braga, Christiano.; Marti-Oliet, Narciso.
(Language materials, printed)
Logic, rewriting, and concurrency = essays dedicated to Jose Meseguer on the occasion of his 65th birthday /
by:
Talcott, Carolyn.; SpringerLink (Online service); Olveczky, Peter Csaba.; Marti-Oliet, Narciso.; Meseguer, Jose.
(Language materials, printed)
Recent trends in algebraic development techniques = 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers /
by:
SpringerLink (Online service); Marti-Oliet, Narciso.; Workshop on the Preservation of Stability under Discretization ((2001 :); Palomino, Miguel.
(Language materials, printed)
Subjects
Software Engineering.
Formal methods (Computer science)
Computer logic.
Theory of Computation.
Mathematics of Computing.
Computer Science.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Mathematical Logic and Foundations.
Management of Computing and Information Systems.
Computer science.
Computer multitasking.
Programming Languages, Compilers, Interpreters.
Computer software
Computation by Abstract Devices.