Type and effect systems
Type and effect systems
Hanne Riis Nielson
,
Torben Amtoft
,
Flemming Nielson
Details
OL Work ID
OL19908289W
Subjects
Computer algorithms
Verification
Computer software
Concurrent engineering
Chaotic behavior in systems
System analysis
Multitasking (Computer science)
Find this book
Open Library