Prezentarea autorului Daniel Kroening:

Cărțile publicate de Daniel Kroening până acum:

Proceduri decizionale: Un punct de vedere algoritmic - Decision Procedures: An Algorithmic Point of...
Springer Nature
O procedură de decizie este un algoritm care, dată...
Proceduri decizionale: Un punct de vedere algoritmic - Decision Procedures: An Algorithmic Point of View
<<
1
>>

© Book1 Group - toate drepturile rezervate.
Conținutul acestui site nu poate fi copiat sau utilizat, nici parțial, nici integral, fără permisiunea scrisă a proprietarului.
Ultima modificare: 2024.11.08 07:02 (GMT)