Arama Sonuçları - Daraltılmış: Kneuper, Ralf, author. - Proquest E-Tez Koleksiyonu - 1989
SirsiDynix Enterprise
http://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dAUTHOR$002509Yazar$002509Kneuper$00252C$002bRalf$00252C$002bauthor.$002509Kneuper$00252C$002bRalf$00252C$002bauthor.$0026qf$003dLOCATION$002509Lokasyon$0025091$00253APROQUESTTE$002509Proquest$002bE-Tez$002bKoleksiyonu$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025091989$0025091989$0026ps$003d300;jsessionid=D9BDE0D9D7180CCC3A88D804436C6DE0?
2024-06-21T21:54:29Z
Symbolic Execution as a Tool for Validation of Specifications
ent://SD_ILS/0/SD_ILS:703994
2024-06-21T21:54:29Z
2024-06-21T21:54:29Z
by Kneuper, Ralf, author.<br/><a href="http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:13872466">http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:13872466</a><br/>Format: Kitap<br/>