語系
Marti-Oliet, Narciso.
概要
| 作品: | 2 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
主題
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.