Představení autora Daniel Kroening:

Doposud vydané knihy od Daniel Kroening:

Rozhodovací postupy: Algoritmické hledisko - Decision Procedures: An Algorithmic Point of...

Rozhodovací procedura je algoritmus, který při...