عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook25705
eng
Formal approaches to software testing :
Berlin ;New York :
: Springer,
, 2004.
Print
Formal methods (Computer science) ; Congresses ; Computer software ; Testing ; Congresses ;
Petrenko, Alexandre ; Ulrich, Andreas ; (Engineer) ;
old catalog
