Yazar
Torben Amtoft
1 cilt bulundu.
Cilt sonuçları
Type and effect systems
Torben Amtoft, Flemming Nielson, Hanne Riis Nielson · World Scientific Publishing Co Pte Ltd
253 sayfa · 1999
Computer algorithms / Verification / Computer software / Concurrent engineering / Chaotic behavior in systems