Vorstellung des Autors Ranjit Jhala:

Bisher veröffentlichte Bücher von Ranjit Jhala:

Verfeinerungstypen: Ein Tutorial - Refinement Types: A Tutorial
Verfeinerungstypen können der Vektor sein, der die formale Verifikation in den Mainstream der...
Verfeinerungstypen: Ein Tutorial - Refinement Types: A Tutorial
<<
1
>>