Predstavenie autora Talia Ringer:

Doterajšie vydané knihy od Talia Ringer:

Qed at Large: Prehľad inžinierstva formálne overeného softvéru - Qed at Large: A Survey of...
New Publ Inc
Vývoj formálnych dôkazov správnosti programov môže...
Qed at Large: Prehľad inžinierstva formálne overeného softvéru - Qed at Large: A Survey of Engineering of Formally Verified Software
<<
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)