Des romans, livres de recettes et BD pour se régaler en famille !
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 !
Des romans, livres de recettes et BD pour se régaler en famille !
Découvrez 6 romans délicieusement horrifiques et tentez de les gagner...
Alice a quatorze ans quand elle est hospitalisée : un premier roman foudroyant
Yeong-ju est l’heureuse propriétaire d’une nouvelle librairie, située dans un quartier résidentiel de Séoul...