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