Reading Length
Home
Speed Tests
Login
Frank S. de Boer
Identifiers
Open Library
OL7212397A
Top Subjects
Computer science (3)
Computer software, verification (1)
Operating systems (Computers) (1)
Logic design (1)
Software engineering (1)
Computer software (1)
Object-oriented programming (computer science) (1)
Books by Frank S. de Boer
Total count: 6
Formal Methods for Components and Objects
Second International Symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003. Revised Lectures
Springer London, Limited
2004-01-01
Verification of Sequential and Concurrent Programs
Springer London, Limited
2009-01-01
Formal Methods for Components and Objects
8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Springer Berlin Heidelberg
2010-01-01
Verification of Sequential and Concurrent Programs
Springer
2010-05-03
Theoretical Computer Science
7th IFIP TC1/WG 2. 2 International Conference, TCS 2012, Amsterdam, the Netherlands, September 26-28, 2012, Proceedings
Springer Berlin / Heidelberg
2012-01-01
Formal Methods for Components and Objects
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Springer Berlin / Heidelberg
2013-01-01
