Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Jhala, D.A."'
Publikováno v:
Acta Haematologica; 1983, Vol. 70 Issue 3, p189-193, 5p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Journal of Automated Reasoning; Oct2020, Vol. 64 Issue 7, p1523-1552, 30p
Publikováno v:
Acta Haematologica; 1983, Vol. 70 Issue 6, pI-VIII, 8p
Publikováno v:
Acta Haematologica; 1983, Vol. 70 Issue 6, p403-405, 3p
This book provides an overview about the open challenges in software verification. Software verification is a branch of software engineering aiming at guaranteeing that software applications satisfy some requirements of interest. Over the years, the
Autor:
Youssef Hamadi, Lakhdar Sais
This is the first book presenting a broad overview of parallelism in constraint-based reasoning formalisms. In recent years, an increasing number of contributions have been made on scaling constraint reasoning thanks to parallel architectures. The go