Celui d'un collègue (Alain Finkel, ENSET, Cachan) qui non seulement travaille en génie logiciel mais aussi en pédagogie. Ses cours sont en ligne.
ICI
Ca existe, on l'a rencontré.
Co-auteur d'un excellent livre qui fait partie de ceux que je conserverai dans ma bibliothèque personnelle en partant en retraite.
Il est écrit en français (publié par Vuibert). Mais si vous préférez le lire en anglais, il est aussi disponible en anglais (et donc est encore meilleur, n'est-ce pas ?). Je ne sais si les éditeurs publient encore de tels livres en français.
Systems and Software Verification
Model-Checking Techniques and Tools
Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.
Model-Checking, on vous en a parlé au sujet du Prix Turing..., Turing celui qui a croqué la pomme.
En direct, guerre en Ukraine : Volodymyr Zelensky appelle à « faire
pression sur la Russie » pour mettre fin à l’occupation de la centrale de
Zaporijia
-
« La radiation nucléaire ne connaît ni frontières ni drapeaux nationaux. La
catastrophe de Tchernobyl a démontré avec quelle rapidité des menaces
mortelles...
Il y a 30 minutes
Aucun commentaire:
Enregistrer un commentaire