Book serie: / Книги серии: Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series » Page 20 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series » Page 20

book Introduction to Combinatorial Testing

Introduction to Combinatorial Testing

pdf

Author: Kuhn D. Richard, Kacker Raghu N., Lei Yu
Language: English
Year: 2013

00

27.01.2024

0

0

book Fundamentals of Dependable Computing for Software Engineers

Fundamentals of Dependable Computing for Software Engineers

pdf

Author: Knight John
Language: English
Year: 2012

00

27.01.2024

0

0

book Antipatterns : Managing Software Organizations and People

Antipatterns : Managing Software Organizations and People

pdf

Author: Neill Colin J., Laplante Philip A., DeFranco Joanna F.
Language: English
Year: 2011

00

27.01.2024

0

0

book Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

pdf

Author: Marco Bernardo Ferruccio Damiani Reiner Hähnle Einar Broch Johnsen Ina Schaefer (eds.)
Language: English
Year: 2014

00

27.01.2024

0

0

book Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

pdf

Author: Ivan Lanese Eric Madelaine (eds.)
Language: English
Year: 2015

00

27.01.2024

0

0

book Performance Characterization and Benchmarking. Traditional to Big Data: 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014. Revised Selected Papers

Performance Characterization and Benchmarking. Traditional to Big Data: 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014. Revised Selected Papers

pdf

Author: Raghunath Nambiar Meikel Poess (eds.)
Language: English
Year: 2015

00

27.01.2024

0

0

book Mathematical and Engineering Methods in Computer Science: 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers

Mathematical and Engineering Methods in Computer Science: 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers

pdf

Author: Petr Hliněný Zdeněk Dvořák Jiří Jaroš Jan Kofroň Jan Kořenek Petr Matula Karel Pala (eds.)
Language: English
Year: 2014

00

27.01.2024

0

0

book Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

pdf

Author: Christiano Braga Narciso Martí-Oliet (eds.)
Language: English
Year: 2015

00

27.01.2024

0

0

book Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

pdf

Author: Carlos Canal Akram Idani (eds.)
Language: English
Year: 2015

00

27.01.2024

1

0

book Product-Focused Software Process Improvement: 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014. Proceedings

Product-Focused Software Process Improvement: 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014. Proceedings

pdf

Author: Andreas Jedlitschka Pasi Kuvaja Marco Kuhrmann Tomi Männistö Jürgen Münch Mikko Raatikainen (eds.)
Language: English
Year: 2014

00

27.01.2024

0

0