Prezentacja autora Daniel Kroening:

Dotychczas wydane książki Daniel Kroening:

Procedury decyzyjne: Algorytmiczny punkt widzenia - Decision Procedures: An Algorithmic Point of...

Procedura decyzyjna to algorytm, który, biorąc pod...