Kommentare: Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures / Frank S. de Boer [and others] (eds.).

Summary goes here

Gespeichert in:

Bibliographische Detailangaben
Format:	Buch
Sprache:	Englisch
Schlagworte:	Formal methods (Computer science) Component software Object-oriented programming (Computer science) Object-oriented methods (Computer science) Méthodes formelles (Informatique) Conception orientée objet (Informatique) Composants logiciels Programmation orientée objet (Informatique) COMPUTERS Informatique. Formale Methode Formale Spezifikationstechnik KomponenteSoftware Objektorientierung Softwareentwicklung Méthode formelle. Approche orientée objet. Composant logiciel. Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Kongress. Leiden (2004)
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!