Predstavenie autora Daniel Kroening:

Doterajšie vydané knihy od Daniel Kroening:

Rozhodovacie postupy: Algoritmické hľadisko - Decision Procedures: An Algorithmic Point of...
Springer Nature
Rozhodovacia procedúra je algoritmus, ktorý pri...
Rozhodovacie postupy: Algoritmické hľadisko - Decision Procedures: An Algorithmic Point of View
<<
1
>>

© Book1 Group - všetky práva vyhradené.
Obsah tejto stránky nesmie byť kopírovaný ani použitý čiastočne alebo v celku bez písomného súhlasu vlastníka.
Posledná úprava: 2024.11.13 22:11 (GMT)