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

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

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

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

Simplifying Runtime Verification Of Distributed Programs Ameliorating

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

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

Die Business Judgement Rule, Fachbücher von Max Willen