|
Metodi formali. Metodi di analisi e codifica del software basati su specifiche tecniche di astrazione logico-matematica al fine per lo sviluppo di sistemi in cui si possano provare e svolgere in modo teorico e assistito da computer le verifiche di correttezza. |
Link... for your business