Foundations of Software Science and Computation Structures, Fachbücher

Foundations of Software Science and Computational Structures, Fachbücher von Helmut Seidl

Foundations of Software Science and Computation Structures, Fachbücher von Anca Muscholl

Software Engineering and Formal Methods, Fachbücher von Mercedes G. Merayo, Mario Bravetti, Robert M. Hierons

Hardware and Software: Verification and Testing, Fachbücher von Hana Chockler, Alan J. Hu

Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Marsha Chechik, Jean-François Raskin

Hardware and Software: Verification and Testing, Fachbücher von Nir Piterman

Principles of Security and Trust, Fachbücher

Programming Languages and Systems, Fachbücher von Andrew D. Gordon

Testing Software and Systems, Fachbücher von Mercedes G. Merayo, Edgardo Montes de Oca

Hardware and Software: Verification and Testing, Fachbücher von Armin Biere, Tanja E. J. Vos, Amir Nahir

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

Principles of Security and Trust, Fachbücher von Martín Abadi, Steve Kremer

Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Klaus Havelund, Erika Abraham

Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Cesare Tinelli, Christel Baier

Foundations of Software Science and Computation Structures, Fachbücher von Frank Pfenning