Yazar
Giannakopoulou, Dimitra. editor.
Format:
Electronic Resources
Alıntı:
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna
Yazar
Wirsing, Martin. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering for Collective Autonomic Systems The ASCENS Approach / Wirsing, Martin. editor.
View Other Search Results
Yazar
Dastani, Mehdi. editor.
Format:
Electronic Resources
Alıntı:
Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April
Yazar
Desmedt, Yvo. editor.
Format:
Electronic Resources
Alıntı:
Programming languages (Electronic computers).
Yazar
Meyer, Bertrand. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial
Yazar
Kiselyov, Oleg. editor.
Format:
Electronic Resources
Alıntı:
Programming languages (Electronic computers).
Yazar
Olivetti, Nicola. editor.
Format:
Electronic Resources
Alıntı:
Programming languages (Electronic computers).
Yazar
Codish, Michael. editor.
Format:
Electronic Resources
Alıntı:
Programming languages (Electronic computers).
Yazar
Kohlhase, Michael. editor.
Format:
Electronic Resources
Alıntı:
Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July
Yazar
Serrano, Manuel. editor.
Format:
Electronic Resources
Alıntı:
Programming languages (Electronic computers).
Yazar
Piterman, Nir. editor.
Format:
Electronic Resources
Alıntı:
Hardware and Software: Verification and Testing 11th International Haifa Verification Conference
Yazar
Cohen, Ernie. editor.
Format:
Electronic Resources
Alıntı:
Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo
Arama Sonuçlarını Sınırlandır
Daraltılmış: