Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands, November 2 - 5, 2004 ; revised lectures

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2005
Schriftenreihe:	Lecture notes in computer science 3657 : Tutorial
Schlagworte:	Approche orientée objet (Informatique) - Congrès Approche orientée objet Composant logiciel Composants logiciels - Congrès Méthode formelle Méthodes formelles (Informatique) - Congrès Component software > Congresses Formal methods (Computer science) > Congresses Object-oriented programming (Computer science) > Congresses Formale Methode Softwareentwicklung Komponente > Software Formale Spezifikationstechnik Objektorientierung Konferenzschrift > 2004 > Leiden
Online-Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge