Arama Sonu&ccedil;lar&#305; - Daralt&#305;lm&#305;&#351;: Drusinsky, Doron. - ProQuest (Firm) - English - Computer software -- Development. SirsiDynix Enterprise http://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dAUTHOR$002509Yazar$002509Drusinsky$00252C$002bDoron.$002509Drusinsky$00252C$002bDoron.$0026qf$003dAUTHOR$002509Yazar$002509ProQuest$002b$002528Firm$002529$002509ProQuest$002b$002528Firm$002529$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsoftware$002b--$002bDevelopment.$002509Computer$002bsoftware$002b--$002bDevelopment.$0026ps$003d300? 2024-06-17T17:33:13Z Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking ent://SD_ILS/0/SD_ILS:939539 2024-06-17T17:33:13Z 2024-06-17T17:33:13Z by&#160;Drusinsky, Doron.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=294269">Click to View</a><br/>Format:&#160;Elektronik Kaynak<br/>