語系
Boer, Frank S.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods for open object-based distributed systems = 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 proceedings /
by:
Barthe, Gilles.; SpringerLink (Online service); Boer, Frank S.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
Theoretical computer science = 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012 : proceedings /
by:
Ball, Tom.; Baeten, Jos C. M.; SpringerLink (Online service); Boer, Frank S.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
Verification of sequential and concurrent programs
by:
Olderog, Ernst-Rudiger.; Apt, Krzysztof R.; SpringerLink (Online service); Boer, Frank S.
(書目-電子資源)
主題
Software Engineering.
Algorithm Analysis and Problem Complexity.
Operating Systems.
Computer Communication Networks.
Object-oriented programming (Computer science)
Theory of Computation.
Discrete Mathematics in Computer Science.
Mathematics of Computing.
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Computer software- Verification.
Logics and Meanings of Programs.
Computer science
Mathematical Logic and Formal Languages.
Electronic data processing- Distributed processing
Computation by Abstract Devices.