Predstavenie autora Ranjit Jhala:

Doterajšie vydané knihy od Ranjit Jhala:

Typy spresnení: A Tutorial - Refinement Types: A Tutorial
Typy spresnenia môžu byť vektorom, ktorý prinesie formálnu verifikáciu do hlavného prúdu vývoja softvéru...
Typy spresnení: A Tutorial - Refinement Types: A Tutorial
<<
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)