Arama Sonuçları COMPUTERS -- Reference. - Daraltılmış: Analise de sistemas.SirsiDynix Enterprisehttp://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dCOMPUTERS$002b--$002bReference.$0026qf$003dSUBJECT$002509Konu$002509Analise$002bde$002bsistemas.$002509Analise$002bde$002bsistemas.$0026ps$003d300;jsessionid=E5FD16CED7BC733D9882C5094620D88D?2026-01-26T03:44:01ZIndustrial applications of formal methods to model, design, and analyze computer systems : an international surveyent://SD_ILS/0/SD_ILS:11782422026-01-26T03:44:01Z2026-01-26T03:44:01Zby Craigen, Dan, 1953-<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780815513629">https://www.sciencedirect.com/science/book/9780815513629</a><br/>Format: Elektronik Kaynak<br/>