This post originated from an RSS feed registered with .NET Buzz by Adrian Florea. Original Post: Specifying C# concepts in a mathematical precise manner Feed Title: Web Log di Adrian Florea Feed URL: /error.aspx?aspxerrorpath=/adrian/Rss.aspx Feed Description: "You know you've achieved perfection in design, not when you have nothing more to add, but when you have nothing more to take away." Antoine de Saint-Exupery Latest .NET Buzz Posts Latest .NET Buzz Posts by Adrian Florea Latest Posts From Web Log di Adrian Florea

Un davvero splendido corso di "Managed Computation" tenuto nella primavera dell'anno scorso al Politecnico federale di Zurigo da Prof. Robert Stärk per gli studenti iscritti al programma di MSc in Computer Science, è scaricabile da questa pagina.

Nelle più di 500 slide del corso, le specifiche di C# vengono modellate come macchine astratte (ASM). Una gioia leggerlo, abbiate solo pazienza!