Differenze

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

--- magistralesicurezza:sss:progetto [07/09/2011 alle 10:37 (14 anni fa)] – Carlo Montangero
+++ magistralesicurezza:sss:progetto [07/10/2011 alle 08:45 (14 anni fa)] (versione attuale) – Carlo Montangero
@@ Linea 1: / Linea 1: @@
 =====  S3 - Progetto finale =====
-=== Testo aggiornato e norme ===
+=== Testo  e norme ===
-Si trovano {{:magistralesicurezza:sss:requisiti_1_.pdf|qui}}
+Il documento //aggiornato// si trova {{:magistralesicurezza:sss:requisiti_1_.pdf|qui}}.
 === 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? ==