Yazar
Pullum, Laura L., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7304003
Format:
Electronic Resources
Alıntı:
Computer programs -- Validation.
Yazar
Chockler, Hana. editor.
Format:
Electronic Resources
Alıntı:
Validation of Evolving Software Chockler, Hana. editor.
View Other Search Results
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering
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