語系
Boer, Frank S.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Theoretical computer science = 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Ball, Tom.; Baeten, Jos C. M.; Boer, Frank S.; SpringerLink (Online service)
(書目-語言資料,印刷品)
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:
SpringerLink (Online service); Boer, Frank S.; Barthe, Gilles.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Verification of sequential and concurrent programs
by:
Boer, Frank S.; SpringerLink (Online service); Apt, Krzysztof R.; Olderog, Ernst-Rudiger.
(書目-語言資料,印刷品)
主題
Software Engineering.
Algorithm Analysis and Problem Complexity.
Operating Systems.
Computer Communication Networks.
Electronic data processing
Object-oriented programming (Computer science)
Theory of Computation.
Discrete Mathematics in Computer Science.
Mathematics of Computing.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Computer software
Computation by Abstract Devices.