Unabridged
Verification and Derivation of Infinite-List Programs
Chapter 1 - Introduction
Ready to play
0:00
9h 20m
Narrator
Premium Studio Voice
Quality
Lossless Audio (HQ)
Language
eng
Download Size
194 MB