An edition of Formal methods for components and objects (2006)

Formal Methods for Components and Objects

4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science)

By Marcello M. Bonsangue,Susanne Graf,Willem-Paul de Roever

0 (0 Ratings)

1 Want to read0 Currently reading0 Have read

Publish Date

September 25, 2006

Publisher

Springer

Language

eng

Pages

429

Description:

subjects: Formal methods (Computer science), Congresses, Component software, Object-oriented programming (Computer science), Informatique, Approche orientee objet (Informatique), Composants logiciels, Methodes formelles (Informatique), Congres, Computer software