Yazar
Barros, Márcio. editor.
Format:
Electronic Resources
Alıntı:
Programming Techniques.
Yazar
Goues, Claire Le. editor.
Format:
Electronic Resources
Alıntı:
Programming Techniques.
View Other Search Results
Yazar
Sarro, Federica. editor.
Format:
Electronic Resources
Alıntı:
Programming Techniques.
Yazar
Shao, Zhong. editor.
Format:
Electronic Resources
Alıntı:
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part
Yazar
Thiemann, Peter. editor.
Format:
Electronic Resources
Alıntı:
Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and
Arama Sonuçlarını Sınırlandır
Daraltılmış: