Languages
Boer, Frank S. de.
Overview
Works: | 0 works in 3 publications in 1 languages |
---|
Titles
Formal methods for components and objects = 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009, revised selected papers /
by:
SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Boer, Frank S. de.
(Electronic resources)
Formal methods for components and objects = 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007 ; revised papers /
by:
Boer, Frank S. de.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service)
(Electronic resources)
Formal Methods for Components and Objects : = Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
by:
Boer, Frank S. de.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Computer Science.
Operating Systems.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Component software
Logics and Meanings of Programs.
Object-oriented programming (Computer science)