عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook16798
eng
Formal methods for components and objects
:FMCO 2005. ;
Berlin ;New York :
: Springer,
, 2006.
Print
oriented programming (Computer science) ; Congresses. ; -Formal methods (Computer science) ; Congresses. ; Component software ; Congresses. ; Object
Boer, Frank S. de. ;
old catalog
