Program Dependences, Slicing, and Verification, Fachbücher

Program Dependences, Slicing, And Verification Accurate And Scalable

Venkatesh-prasad Ranganath | Program Dependences, Slicing, And

Verification of Business Rules Programs, Fachbücher von Bruno Berstel-Da Silva

Extending KeY for the Verification of C Programs, Fachbücher

Verification Of Sequential And Concurrent Programs 1319

Advanced Slicing of Sequential and Concurrent Programs, Fachbücher von Jens Krinke

Verification of Sequential and Concurrent Programs, Fachbücher von Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Old...

Between Autonomy and Dependence, Fachbücher

Elmar Brauch | Program Slicing | Taschenbuch | Deutsch | Vdm Verlag

Dynamic Slicing of Programs under Distributed Environment, Fachbücher

Integrated Geophysical and Electrical Depth Slicing Investigation, Fachbücher

Program Slicing, Fachbücher von Elmar Brauch

Dependence Structures and Limiting Results, Fachbücher

Opioid Dependence and Benzodiazepines, Fachbücher von Mehreen Ahmed

Hardware and Software, Verification and Testing, Fachbücher