Analyse statique par interprétation abstraite, X. Rival - pp.371-380Programmation d'un interpréteur abstrait certifié en logique constructive, D. Cachera, D. Pichardie - pp.381-408Expérimentations en Coq pour un générateur de code qualifiable, N. Izerrouken, M. Pantel, X. Thirioux, O. Ssi Yan Kai - pp.409-440Compilation modulaire d'un langage synchrone. Spécification, simulation, implémentation et vérification d'applications synchrones, D. Gaffé, A. Ressouche - pp.441-471
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Les meilleurs albums, romans, documentaires, BD à offrir aux petits et aux plus grands
Il n'est pas trop tard pour les découvrir... ou les offrir !
Inspirée d’une histoire vraie, cette BD apporte des conseils et des solutions pour sortir de l'isolement
L’écrivain franco-vénézuélien Miguel Bonnefoy poursuit l’exploration fantasmagorique de sa mémoire familiale...
