Software Verification, Fachbücher von Parasara Sridhar Duggirala, Peter Schrammel, Nadia Polikarpova, Maria Christakis

Software Verification | Maria Christakis (u. A.) | Taschenbuch |

Verification of Temporal Properties in Embedded Software, Fachbücher

Hardware and Software: Verification and Testing, Fachbücher

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

Avionics Safety Critical Software Verification, Fachbücher von Chiranjeevi Aradhya

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

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

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

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

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

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

Numerical Software Verification, Fachbücher von Pavithra Prabhakar, Sergiy Bogomolov, Matthieu Martel

Tools for Practical Software Verification, Fachbücher von Martin Nordio, Bertrand Meyer

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

Scalable Bit-precise Formal Verification of Embedded Software, Fachbücher von Nannan He