Yazar
Giannakopoulou, Dimitra. editor.
Format:
Electronic Resources
Alıntı:
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna
Yazar
Cohen, Ernie. editor.
Format:
Electronic Resources
Alıntı:
Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo
View Other Search Results
Yazar
Gurfinkel, Arie. editor.
Format:
Electronic Resources
Alıntı:
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San
Yazar
Gupta, Gopal. editor.
Format:
Electronic Resources
Alıntı:
, optimization, composition, security, reuse, applications and tools, component-based software development
Yazar
Majumdar, Rupak. editor.
Format:
Electronic Resources
Alıntı:
, with an emphasis on practical verification tools and the algorithms and techniques that are needed for
Yazar
Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829
Format:
Electronic Resources
Alıntı:
manipulation, optimization, transformational techniques in SE, inversion, applications, and tools.
Yazar
Blanchette, Jasmin Christian. editor.
Format:
Electronic Resources
Alıntı:
Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation
Yazar
Lanese, Ivan. editor.
Format:
Electronic Resources
Alıntı:
Tool for Reachability by Design -- MPASS: An Efficient Tool for the Analysis of Message-Passing
Yazar
O’Regan, Gerard. author.
Format:
Electronic Resources
Alıntı:
professionals and software managers in industry will also find the book to be a useful tool for self-study.
Yazar
De Nicola, Rocco. editor.
Format:
Electronic Resources
Alıntı:
Component-Based Systems -- Tightening a Contract Refinement -- BMotionWeb: A Tool for Rapid Creation of Formal
Yazar
Wirsing, Martin. editor.
Format:
Electronic Resources
Alıntı:
presenting the methods, tools and theories developed within the ASCENS project. ASCENS was an integrated
Yazar
Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X
Format:
Electronic Resources
Alıntı:
Functional-Logic Compiler for Curry: Sprite -- lpopt: A Rule Optimization Tool for Answer Set Programming
Arama Sonuçlarını Sınırlandır
Daraltılmış: