Sampaio, Augusto.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
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.
(Language materials, printed)
, [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)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.