Sampaio, Augusto.
Overview
| Works: | 0 works in 2 publications in 1 languages | |
|---|---|---|
Titles
The application of formal methodsessays dedicated to Jim Woodcock on the occasion of his retirement /
by:
Foster, Simon.; Sampaio, Augusto.; SpringerLink (Online service); Woodcock, Jim.
(Electronic resources)
Refinement Techniques in Software EngineeringFirst Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures /
by:
(1998 :); Cavalcanti, Ana.; Sampaio, Augusto.; SpringerLink (Online service); Woodcock, Jim.
(Electronic resources)
Unifying theories of programming7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019 : proceedings /
by:
(1998 :); Hoare, C. A. R. (1934-); Ribeiro, Pedro.; Sampaio, Augusto.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Logics and Meanings of Programs.
Mathematics of Computing.
Programming Language.
Management of Computing and Information Systems.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer programming
Formal methods (Computer science)
Formal Languages and Automata Theory.
Computer Science.
Computer Systems Organization and Communication Networks.