語系
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.
Object-oriented programming (Computer science)
Theory of Computation.
Mathematics of Computing.
Computer Science.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Electronic data processing
Discrete Mathematics in Computer Science.
Programming Languages, Compilers, Interpreters.
Computer software
Computation by Abstract Devices.