Reasoning about Functional Programs
M.J. de Mol
Reasoning about Functional Programs sparkle: a proof assistant for Clean
HardbackEngels
In het kort
Bibliografisch
ISBN-139789090238852
Editie1
TaalEngels eng
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormHardback BB
SamenstellingLos product
Classificatie
NUR (hoofd)Theoretische informatica 993
NUR (alle)993 Theoretische informatica
Medewerkers
Auteur A01M.J. de Mol
Herkomst
Werk-id (NSTC)500590750
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 500590750 · CB-relatie 7603800 · Bijgewerkt 6 augustus 2026