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.
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.