Programming Languages and Systems, Fachbücher von Jan Vitek

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

Principles of Security and Trust, Fachbücher

Fundamental Approaches to Software Engineering, Fachbücher von Ina Schaefer, Alexander Egyed

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

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 Michael Huth, Orna Grumberg

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

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

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

Compiler Construction, Fachbücher von Albert Cohen

Fundamental Approaches to Software Engineering, Fachbücher von Arend Rensink, Stefania Gnesi

Fundamental Approaches to Software Engineering, Fachbücher von Antonia Lopes, Matthew B. Dwyer

Coordination Models and Languages, Fachbücher von Tom Holvoet, Mirko Viroli

Programming Languages and Systems, Fachbücher von Sophia Drossopoulou

Automated Reasoning, Fachbücher von Stephan Schulz, Roberto Sebastiani, Didier Galmiche