Treffer: Formal methods for components and objects
Titel:
Formal methods for components and objects : third international symposium ; revised lectures / FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004. Frank S. de Boer ... (ed.)
Verantwortlich:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2005
Umfang:
1 Online-Ressource
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 3657
alle Bände anzeigen
alle Bände anzeigen
RVK-Notation:
Schlagworte:
DOI:
10.1007/11561163