Bücher - Buchreihe - Synthesis Lectures on Software Engineering - (5)
Hard Problems in Software Testing
Scott Tilley; Brianna Floss
Scott Tilley; Brianna Floss
Springer International Publishing, 2014, 103 S., 9783031014192
Java Software Development with Event B
Néstor Cataño Collazos
Néstor Cataño Collazos
Springer International Publishing, 2020, 89 S., 9783031014222
Model-Driven Software Engineering in Practice, Second Edition
Marco Brambilla; Jordi Cabot; Manuel Wimmer
Marco Brambilla; Jordi Cabot; Manuel Wimmer
Springer International Publishing, 2017, 191 S., 9783031014215
Symbolic Execution and Quantitative Reasoning
Corina S. Păsăreanu
Corina S. Păsăreanu
Springer International Publishing, 2020, 65 S., 9783031014239
Testing iOS Apps with HadoopUnit
Scott Tilley; Krissada Dechokul
Scott Tilley; Krissada Dechokul
Springer International Publishing, 2014, 83 S., 9783031014208