عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook31219
eng
Formal methods for software architectures :
Berlin ;New York :
: Springer,
, 2003.
Print
Computer software ; Computer architecture ; System design ; Formal methods (Computer science) ;
Bernardo, Marco ; Inverardi, Paola ;
old catalog
