Önerilen Konular
Önerilen Konular
Şunu mu demek istediniz:
developing microsoft » exploring microsoft, designing microsoft
programs developing » projects developing, program development, process developing
valued programs » value programs, based programs, valued problems
microsoft https » microscopy https, microsoft htc
developing microsoft » exploring microsoft, designing microsoft
programs developing » projects developing, program development, process developing
valued programs » value programs, based programs, valued problems
microsoft https » microscopy https, microsoft htc
1
Baskı/Yayın Bilgisi 2007
İçindekiler:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Tam Metin Erişim
Elektronik
Ekitap
