Название: Java Software Development with Event B
Автор: Néstor Cataño Collazos
Серия: Synthesis Lectures on Software Engineering
Жанр: Программы
Название: Model-Driven Software Engineering in Practice
Автор: Marco Brambilla
Серия: Synthesis Lectures on Software Engineering
Жанр: Программы
Название: Testing iOS Apps with HadoopUnit
Автор: Scott Tilley
Серия: Synthesis Lectures on Software Engineering
Жанр: Программы
Название: Hard Problems in Software Testing
Автор: Scott Tilley
Серия: Synthesis Lectures on Software Engineering
Жанр: Программы
Название: Symbolic Execution and Quantitative Reasoning
Автор: Corina S. Păsăreanu
Серия: Synthesis Lectures on Software Engineering
Жанр: Программы