An edition of Formal methods for components and objects (2004)
Formal Methods for Components and Objects
Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures (Lecture Notes in Computer Science)
By Frank S. de Boer,Marcello M. Bonsangue,Susanne Graf,Willem-Paul de Roever
Publish Date
October 26, 2005
Publisher
Springer
Language
eng
Pages
283
Description:
subjects: Formal methods (Computer science), Congresses, Component software, Object-oriented programming (Computer science), Software engineering, Computer science, Operating systems (Computers), Logic design, Programming Languages, Compilers, Interpreters, Operating Systems, Logics and Meanings of Programs, Software Engineering/Programming and Operating Systems, Programming Techniques