Journées francophones des langages applicatifs = French speaking conference on functional programming and proof techniques : Special issue : selection of best papers of the conference JFLA 2010
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | |
| Format: | Livre numérique |
| Langue: | Français Anglais |
| Publié: |
Paris :
Hermann informatique
2013.
Paris : Cyberlibris |
| Sujets: | |
| Accès en ligne: | Accès Université Orléans et IFPM |
| Note: |
Couverture. https://static2.cyberlibris.com/books_upload/136pix/9791037033789.jpg Studia informatica universalis, ISSN 1625-7545, vol. 9, nů, 211 Cyberlibris (ScholarVox) Corpus Lettres |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Journées francophones des langages applicatifs, French speaking conference on functional programming and proof techniques, Special issue : selection of best papers of the conference JFLA 2010, guest editor Micaela Mayero, Paris, Hermann informatique, 2011, 1 volume (185 pages), 978-2-7056-8178-4 |