Recentemente ho ascoltato un episodio di Software Engineering Radio in cui è stato intervistato Leslie Lamport . Una cosa che ha discusso è stata la sua lingua delle specifiche, TLA + .
Essenzialmente, sembrava sostenere che, per i progra...
posta
20.05.2014 - 14:47