%0
Generic
%T
Formal Methods for Components and Objects
6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
%A Hutchison, David
%A Naor, Moni
%A Nierstrasz, Oscar
%A Pandu Rangan, C.
%A Roever, Willem-Paul
%A Steffen, Bernhard
%A Sudan, Madhu
%A Terzopoulos, Demetri
%A Tygar, Doug
%A Vardi, Moshe Y.
%A Weikum, Gerhard
%A Boer, Frank S.
%A Bonsangue, Marcello M.
%A Graf, Susanne
%A Kanade, Takeo
%A Kittler, Josef
%A Kleinberg, Jon
%A Mattern, Friedemann
%A Mitchell, John C.
%I Springer Berlin Heidelberg
%@ 9783540921882
%K Logic design
%K Computer Science
%K Computer science
%K Software engineering
%K Operating systems (Computers)
%K Compilers (Computer programs).
%K Component software Congresses
%K Formal methods (Computer science) Congresses
%K Object-oriented programming (Computer science) Congresses
%K Konferenzschrift 2007 Amsterdam
%K Softwareentwicklung
%K Formale Methode
%K Objektorientierung
%K Komponente Software
%D 2008
%C Springer Berlin Heidelberg
%C Berlin, Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2