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

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

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

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

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

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

Hardware and Software: Verification and Testing, Fachbücher von Eran Yahav

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

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

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

Numerical Methods and Software Tools in Industrial Mathematics, 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

Hardware and Software: Verification and Testing, Fachbücher von Ofer Strichman, Rachel Tzoref-Brill

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