Martí-Oliet, Narciso.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
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.