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:
Braga, Christiano.; Martí-Oliet, Narciso.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic, Rewriting, and Concurrency = Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /
by:
Talcott, Carolyn.; SpringerLink (Online service); Martí-Oliet, Narciso.; Ölveczky, Peter Csaba.
(書目-語言資料,印刷品)
, [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:
Escobar, Santiago.; Martí-Oliet, Narciso.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Computer logic.
Software engineering.
Computer programming.
Programming Techniques.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Computer science.
Management information systems.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.