Deductive Software Verification: Future Perspectives, Fachbücher von Bernhard Beckert, Mattias Ulbrich, Reiner Hähnle, W...

Deductive Software Verification - The KeY Book, Fachbücher von Peter H. Schmitt, Wolfgang Ahrendt, Reiner Hähnle, Mattia...

Deductive Software Verification: Future Perspectives | Wolfgang

Tests and Proofs, Fachbücher von Reiner Hähnle, Bernhard Beckert

Verification of Object-Oriented Software. The KeY Approach, Fachbücher von Bernhard Beckert, Reiner Hähnle, Peter H. Sch...

Software Quality: Future Perspectives on Software Engineering Quality, Fachbücher von Stefan Biffl, Dietmar Winkler, Man...

Perspectives on the Future of Software Engineering, Fachbücher von Klaus Schmid, Jürgen Münch

Hardware and Software, Verification and Testing, Fachbücher

Images of the Future City, Fachbücher von Anders Gullberg, Mattias Höjer, Ronny Pettersson

Hardware/Software Co-Design and Co-Verification, Fachbücher

Software Engineering: Specification, Implementation, Verification, Fachbücher von Suad Alagic

Numerical Software Verification, Fachbücher von Alessandro Abate, Sylvie Boldo

Numerical Software Verification, Fachbücher von Damien Zufferey, Majid Zamani

Software Verification and Analysis, Fachbücher von Janusz Laski, William Stanley

Software Verification Based on Game Semantics and Process Algebra, Fachbücher

Embedded Software Verification and Debugging, Fachbücher von Markus Winterholer, Djones Lettnin