25 Feb
2020
25 Feb
'20
1:41 p.m.
Hi. This is a reminder for tomorrow's lecture:
- The first homework is due tomorrow @ 3pm. Send me PDFs by mail. Scans of hand-written papers is OK. You can also hand me a physical page, but then you won't keep a copy.
- Make sure you have a working Rodin installation. Refer to the slides at https://wp.software.imdea.org/cbc/wp-content/uploads/sites/5/2020/02/03-1-se... and follow the instructions in the section "Rodin: the Event B modeling tool".
- Bring a laptop with Rodin working, because I intend for you to use it in class.
Best,
Manuel
--
+-----------------------------------------------------------------------------+
| Manuel Carro --- E.T.S. Ing. Informáticos -- U. Politécnica de Madrid (UPM) |
| Campus de Montegancedo --- E-28660 Boadilla del Monte --- Spain |
| Phone: +34-91-101-2202 ext 4140 |