Differenze

Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.

--- magistralesicurezza:sss:progetto [07/09/2011 alle 10:39 (14 anni fa)] – Carlo Montangero
+++ magistralesicurezza:sss:progetto [07/10/2011 alle 08:45 (14 anni fa)] (versione attuale) – Carlo Montangero
@@ Linea 5: / Linea 5: @@
 === FAQ ===
+== C'è altro materiale didattico? ==
+Sì, una versione aggiornata (in inglese) di parte dei lucidi è disponibile
+[[http://correctnessbycconstruction.wikispaces.com/|qui]].
+Tutta la documentazione SPARK può essere scaricata da
+{{http://www2.adacore.com/wp-content/files/auto_update/sparkdocs-docs/index.html|qui}}, compreso il SImplifierManual, che è molto utile e ricco di esempi.
 == Il numero di appartamenti e termosifoni è fissato a priori? ==