Languages
Boer, Frank S.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
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 :)
(Language materials, printed)
Verification of sequential and concurrent programs
by:
Boer, Frank S.; SpringerLink (Online service); Apt, Krzysztof R.; Olderog, Ernst-Rudiger.
(Language materials, printed)
Subjects
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.