Type and effect systemsde Torben Amtoft, Flemming Nielson, Hanne Riis NielsonMateriasComputer algorithmsVerificationComputer softwareConcurrent engineeringChaotic behavior in systemsSystem analysisMultitasking (Computer science)Ediciones (2)
