13 lines
731 B
Text
13 lines
731 B
Text
|
Testo su reactive systems (CCS, Equivalenze e Timed Automata)
|
|||
|
|
|
|||
|
|
Il testo "Reactive Systems: Modelling, specification and verification" di Luca Aceto e colleghi e' un ottimo libro di testo, soprattutto per quanto riguarda la parte su CCS, equivalenze e timed system.
|
|||
|
|
|
|||
|
|
Il pdf dei primi capitoli del libro si trova facilmente in rete, su siti legali (universita' di appartenenza degli autori http://www.cs.ioc.ee/yik/schools/win2007/ingolfsdottir/sv-book-part1.pdf e ), mentre la versione integrale stampata e' disponibile presso la biblioteca del Diaprtimento di Informatica.
|
|||
|
|
|
|||
|
|
Ultime modifiche: lunedì, 2 marzo 2020, 14:08
|
|||
|
|
|
|||
|
|
|
|||
|
|
ALTRO:
|
|||
|
|
|
|||
|
|
seven_myths_of_formal_methods
|
|||
|
|
Teaching Formal Methods for Software Engineering –Ten Principles
|