Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] Dana Scott e a Michael J.C. Gordon, citiamo Jaco de Bakker, Dines Björner, Gordon D. Plotkin, John C. Reynolds. , London, McGraw-Hill, 1999.
Harel 2000: Harel, David - Kozen, Dexter - Tiuryn, Jerzy, Dynamic logic, Cambridge (Mass.), MIT Press, 2000. ...
Leggi Tutto