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

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

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...

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

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

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

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

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

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

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

Software Verification, Fachbücher von Roderick Bloem, Rayna Dimitrova, Natasha Sharygina, Chuchu Fan

Hardware and Software: Verification and Testing, Fachbücher von Roderick Bloem, Eli Arbel

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