Martí-Oliet, Narciso.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal Methods: Foundations and Applications = 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings /
by:
Martí-Oliet, Narciso.; SpringerLink (Online service); Braga, Christiano.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic, Rewriting, and Concurrency = Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /
by:
Ölveczky, Peter Csaba.; Talcott, Carolyn.; SpringerLink (Online service); Martí-Oliet, Narciso.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Rewriting Logic and Its Applications = 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers /
by:
Martí-Oliet, Narciso.; Escobar, Santiago.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Software Engineering.
Management of Computing and Information Systems.
Computer logic.
Software engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer science.
Management information systems.
Computer programming.
Programming Techniques.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.