Yazar
Braga, Christiano. editor.
Format:
Electronic Resources
Alıntı:
Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil
Yazar
De Nivelle, Hans. editor.
Format:
Electronic Resources
Alıntı:
Discrete Mathematics in Computer Science.
View Other Search Results
Yazar
Calimeri, Francesco. editor.
Format:
Electronic Resources
Alıntı:
Discrete Mathematics in Computer Science.
Yazar
Gupta, Gopal. editor.
Format:
Electronic Resources
Alıntı:
Discrete Mathematics in Computer Science.
Yazar
Cariani, Fabrizio. editor.
Format:
Electronic Resources
Alıntı:
Discrete Mathematics in Computer Science.
Yazar
O’Regan, Gerard. author.
Format:
Electronic Resources
Alıntı:
Introduction to Software Quality O’Regan, Gerard. author.
Yazar
Bojańczyk, Mikołaj. editor.
Format:
Electronic Resources
Alıntı:
2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019
Yazar
Torra, Vicenç. author.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Castor, Fernando. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Wirsing, Martin. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering for Collective Autonomic Systems The ASCENS Approach / Wirsing, Martin. editor.
11.
Yazar
Chlipala, Adam, 1981-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6712486
Format:
Electronic Resources
Alıntı:
adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing
Yazar
Bartocci, Ezio. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.