Sampaio, Augusto.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
The application of formal methods = essays dedicated to Jim Woodcock on the occasion of his retirement /
by:
Woodcock, Jim.; Foster, Simon.; Sampaio, Augusto.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Theoretical Aspects of Computing – ICTAC 2016 = 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings /
by:
SpringerLink (Online service); Sampaio, Augusto.; Wang, Farn.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Unifying Theories of Programming = 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings /
by:
Sampaio, Augusto.; Ribeiro, Pedro.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Computer science—Mathematics.
Computer organization.
Formal methods (Computer science)
Computer logic.
Formal Languages and Automata Theory.
Software engineering.
Programming Language.
Mathematics of Computing.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Discrete Mathematics in Computer Science.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.