Languages
Sampaio, Augusto.
Overview
Works: | 0 works in 1 publications in 1 languages |
---|
Titles
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.
Management of Computing and Information Systems.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer programming
Computer Science.
Computer Systems Organization and Communication Networks.