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

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

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

Hybrid Systems Biology, Fachbücher von Alessandro Abate, David Safranek

Quantitative Evaluation of Systems, Fachbücher von Alessandro Abate, Andrea Marin

La tenuità del fatto ed esercizio dell'azione penale, Fachbücher von Alessandro Abate

Computational Methods in Systems Biology, Fachbücher von Verena Wolf, Tatjana Petrov, Alessandro Abate

Formal Modeling and Analysis of Timed Systems, Fachbücher von Alessandro Abate, Gilles Geeraerts

Hardware and Software, Verification and Testing, Fachbücher

Verification of Temporal Properties in Embedded Software, Fachbücher

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

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

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

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