bib.howest.be Zoekresultaten

U zocht naar: Type e-book

« Vorige | 168,231 - 168,240 van 173,163 | Volgende »

168231. Verification, Model Checking, and Abstract Interpretation

Auteur:: Barbara Jobstmann, K. Rustan M. Leino; Leino, K. Rustan M.
Uitgever:: Springer Berlin Heidelberg 2016
Type:: e-book

168232. Verification, Model Checking, and Abstract Interpretation

Auteur:: Dillig; Jens Palsberg; Palsberg, Jens
Uitgever:: Springer International Publishing 2018
Type:: e-book

168233. Verification, Model Checking, and Abstract Interpretation

Auteur:: Enea; Piskac, Ruzica
Uitgever:: Springer International Publishing 2019
Type:: e-book

168234. Verification of Business Rules Programs

Auteur:: Berstel-Da Silva, Bruno; Berstel-Da Silva
Uitgever:: Springer Berlin Heidelberg 2014
Type:: e-book

168235. Verification of Data-Aware Processes Via Satisfiability Modulo Theories

Auteur:: Gianola, Alessandro.
Uitgever:: Cham Springer 2023
Type:: e-book

168236. Verification of Object-Oriented Software. The KeY Approach

Auteur:: Beckert, Bernhard; Carbonell, Jaime G.; Hähnle, Reiner; Schmitt, Peter H.; Siekmann, Jörg; Leino, Matti; Rustan, K.
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

168237. Verification of Sequential and Concurrent Programs

Auteur:: Apt, Krzysztof R.; Boer, Frank S.; Olderog, Ernst-Rüdiger; de Boer, Frank S.; Pnueli, Amir
Uitgever:: Springer London 2009
Type:: e-book

168238. Verified Signal Processing Algorithms in Matlab and C : Advised by Israel Greiss

Auteur:: Dickman, Arie.
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

168239. Verified Software. Theories, Tools, and Experiments

Auteur:: Blazy; Chechik, Marsha
Uitgever:: Springer International Publishing 2016
Type:: e-book

168240. Verified Software: Theories, Tools and Experiments

Auteur:: Giannakopoulou; Kroening, Daniel
Uitgever:: Springer International Publishing 2014
Type:: e-book