實物特徵: 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

Saved in:

書目詳細資料
格式:	圖書
語言:	英语
主題:	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)
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

實物特徵
總結:	Summary goes here
Item Description:	General Notes
實物描述:	1 online resource (viii, 323 pages) :illustrations
ISBN:	9783540319399 3540319395 9783540291312 3540291318