Yazar
Harel, David, 1950-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format:
Electronic Resources
Alıntı:
Formal methods (Computer science)
Yazar
Gnesi, Stefania, 1954-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798
Format:
Electronic Resources
Alıntı:
Formal methods (Computer science)
View Other Search Results
Yazar
Dunin-Keplicz, Barbara.
Format:
Kitap
Alıntı:
Formal methods (Computer science).
Yazar
Alur, Rajeev, 1966-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7109352
Format:
Electronic Resources
Alıntı:
Formal methods (Computer science)
Yazar
O'Regan, Gerard. author.
Format:
Electronic Resources
Alıntı:
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications / O'Regan, Gerard
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th
Yazar
Skrzypczak, Michał. author.
Format:
Electronic Resources
Alıntı:
Discrete Mathematics in Computer Science.
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5
Yazar
Albert, Elvira. editor.
Format:
Electronic Resources
Alıntı:
Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11
10.
Yazar
Bjørner, Nikolaj. editor.
Format:
Electronic Resources
Alıntı:
FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
Yazar
Jones, Cliff. editor.
Format:
Electronic Resources
Alıntı:
FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /
Yazar
Ölveczky, Peter Csaba. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway
Arama Sonuçlarını Sınırlandır