Ariteetti- ja tietotyyppigeneerinen ohjelmointi Coq-todistusassistentilla

Bibliographic Details
Main Author:	Pehkonen, Jere
Other Authors:	Informaatioteknologian tiedekunta, Faculty of Information Technology, Informaatioteknologia, Information Technology, Jyväskylän yliopisto, University of Jyväskylä, Tietotekniikka, Mathematical Information Technology, 602
Format:	Master's thesis
Language:	fin
Published:	2021
Subjects:	Coq geneerinen ohjelmointi polymorfismi riippuvat tyypit ohjelmointi
Online Access:	https://jyx.jyu.fi/handle/123456789/74998

Description
Description not available.

Similar Items