Verification Of Sequential And Concurrent Programs 1319

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

Jens Krinke | Advanced Slicing Of Sequential And Concurrent Programs |

Comparative Analysis Of Sequential And Concurrent Processing For Float

Johannes Frederik Jesper Traub | Formal Verification Of Concurrent

Formal Verification Of Concurrent Embedded Software Traub Taschenbuch

Diyaa Atiya | Cost-effective Verification Of Concurrent

Cost-effective Verification Of Concurrent Safety-critical Systems The

Verification Of Business Rules Programs 2262

Program Dependences, Slicing, And Verification Accurate And Scalable

Comparative analysis of Sequential and Concurrent processing for float, Fachbücher von Karan Gumber, Meenu Talwar, Sharm...

Cost-Effective Verification of Concurrent Safety-Critical Systems, Fachbücher

Simplifying Runtime Verification Of Distributed Programs Ameliorating

Program Dependences, Slicing, and Verification, Fachbücher

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

Bruno Berstel-da Silva | Verification Of Business Rules Programs |