عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook27722
eng
orientation to formal methods :-From object
Berlin :
: Springer,
, 2004.
Print
oriented methods (Computer science) ; Formal methods (Computer science) ; System design ; -Object
Owe, Olaf ; Krogdahl, Stein ; Lyche, Tom ;
old catalog
