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

Software Verification Based On Game Semantics And Process Algebra A

Aleksandar Dimovski | Software Verification Based On Game Semantics

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Softwar, Fachbücher von Fou...

Formal Semantics and Verification Of Use Case Maps, Fachbücher

Verification Of Temporal Properties In Embedded Software Based On

Hardware and Software, Verification and Testing, Fachbücher

Combinatorial Algebra: Syntax and Semantics, Fachbücher von Mark V. Sapir

Specification, Algebra, and Software, Fachbücher

Operational Semantics and Verification of Security Protocols, Fachbücher von Sjouke Mauw, Cas Cremers

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

Statistics Based on Dirichlet Processes and Related Topics, Fachbücher von Hajime Yamato

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

Software Verification And Analysis An Integrated, Hands-on Approach

CAE - PROCESS AND NETWORK : A methodology for continuous product validation process based on network, Fachbücher von Gag...

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