Rajaa
Hakutulokset: Hakutulos
Rajaa
yhteensä 2 hakutulosta
Hardware and Software: Verification and Testing
e-kirja,
2011,
englanti,
ISBN 9783642195839
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. …
Decision Procedures
e-kirja,
2016,
englanti,
ISBN 9783662504970
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to …
Alkaen
70,80 €