語系
Sampaio, Augusto.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-電子資源)
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)
(書目-電子資源)
主題
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.