📚 Synthesis Lectures on Software Engineering
издательство «
Ingram
»
Symbolic Execution and Quantitative Reasoning
Corina S. Păsăreanu
Hard Problems in Software Testing
Scott Tilley
Testing iOS Apps with HadoopUnit
Scott Tilley
Model-Driven Software Engineering in Practice
Marco Brambilla
Java Software Development with Event B
Néstor Cataño Collazos