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

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

Verification Of Business Rules Programs 2262

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

Program Dependences, Slicing, and Verification, Fachbücher

Experimental verification of the GDH sum rule on the neutron, Fachbücher von Tigran Rostomyan

Verification Of Sequential And Concurrent Programs 1319

Cidadãos, às Armas!, Fachbücher von Bruno Torquato Silva Ferreira Silva Ferreira

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

Verification and Evaluation of Computer and Communication Systems, Fachbücher von Bruno Monsuez, Simon Bliudze, Mohamed ...

Computer Aided Verification, Fachbücher von Alexandra Silva, K. Rustan M. Leino

The First Rule of Show Business, Fachbücher von Michael Barkl

Understanding Software Cohesion Metrics, Fachbücher von Bruno Silva

Simplifying Runtime Verification Of Distributed Programs | Eslam Al

Agile Business Rule Development, Fachbücher

Transfobia e religião no ciberespaço, Fachbücher von Bruno Rafael Silva Nogueira Barbosa, Laionel V. da Silva