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
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | |
| Natura: | Livre numérique |
| Lingua: | Français Anglais |
| Pubblicazione: |
Paris :
Hermann informatique
2013.
Paris : Cyberlibris |
| Soggetti: | |
| Accesso online: | Accès Université Orléans et IFPM |
| Nota: |
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 |