Ergebnisse für: Bug Identification

Hier findest Du Bücher, die sich mit Bug Identification beschäftigen.

Dependable Software Engineering. Theories, Tools, and Applications

Springer Singapore
79.17 € · Paperback

Formal Methods Model Checking Software Verification Program Analysis Program Correctness Testing Software Validation Computational Logic Automata Theory Bug Identification Program Logics

This book constitutes the refereed proceedings of the 11th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2025, held in Oxford, UK, during December 1–3, 2025. The 18 full papers and 1 invited paper presented in this volume were carefully review...

Dependable Software Engineering. Theories, Tools, and Applications

Springer Singapore
78.1 € · eBook

Formal Methods Model Checking Software Verification Program Analysis Program Correctness Testing Software Validation Computational Logic Automata Theory Bug Identification Program Logics

Array
(
    [endpoint] => /products?search=Bug+Identification&page=0&size=20
    [httpCode] => 200
    [curlError] => 
    [os_errno] => 0
    [primary_ip] => 144.208.215.243
    [local_ip] => 192.168.53.111
    [namelookup_time] => 0.00115
    [connect_time] => 0.519607
    [responseLength] => 4075
)