Tests and Proofs, Fachbücher von Burkhart Wolff, Catherine Dubois

Tests and Proofs, Fachbücher von Bertrand Meyer, Yuri Gurevich

Mathematical Theory and Computational Practice, Fachbücher von Wolfgang Merkle, Benedikt Löwe, Klaus Ambos-Spies

Software Engineering and Formal Methods, Fachbücher von George Eleftherakis, Mike Hinchey, Mike Holcombe

Strengthening Links Between Data Analysis and Soft Computing, Fachbücher von Olgierd Hryniewicz, Marek Gagolewski, Przem...

Software Composition, Fachbücher von Alexandre Bergel, Johan Fabry

Ubiquitous Intelligence and Computing, Fachbücher von Ah-Hwee Tan, Daqing Zhang, Marius Portmann, Jadwiga Indulska