Yazar
Dastani, Mehdi. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs.
Yazar
Albert, Elvira. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Silvano, Cristina. editor. (orcid)0000-0003-1668-0883
Format:
Electronic Resources
Alıntı:
Transactions on High-Performance Embedded Architectures and Compilers V Silvano, Cristina. editor
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz
Yazar
Dori, Dov. author.
Format:
Electronic Resources
Alıntı:
Model-Based Systems Engineering with OPM and SysML Dori, Dov. author.
Yazar
Counsell, Steve. editor.
Format:
Electronic Resources
Alıntı:
, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers / Counsell, Steve
Yazar
Träff, Jesper Larsson. editor.
Format:
Electronic Resources
Alıntı:
Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed