Σχόλια: 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

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Μορφή:	Βιβλίο
Γλώσσα:	Αγγλικά
Θέματα:	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)
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

καταχωρήστε σχόλιο πρώτοι!