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

Software Engineering, Fachbücher von Bertrand Meyer, Martin Nordio

Tools For Practical Software Verification International Summer School,

Software Technology: Methods and Tools, Fachbücher von Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer, Alexander Petr...

Software Engineering Approaches for Offshore and Outsourced Development, Fachbücher von Bertrand Meyer, Mathai Joseph

Present and Ulterior Software Engineering, Fachbücher von Bertrand Meyer, Manuel Mazzara

Practical Software Development Techniques Tools And Techniques For

Bertrand Meyer (u. A.) | Balancing Agility And Formalism In Software

Touch of Class, Fachbücher von Bertrand Meyer

Timed Automata as a Verification Tool for Security Protocols, Fachbücher von Burcu Külahç

Hardware and Software, Verification and Testing, Fachbücher

High-level Verification Methods And Tools For Verification Of

String Analysis for Software Verification and Security, Fachbücher von Tevfik Bultan, Muath Alkhalaf, Abdulbaki Aydin, F...

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

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

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