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
Đã lưu trong:
| Tác giả của công ty: | |
|---|---|
| Tác giả khác: | |
| Định dạng: | Livre numérique |
| Ngôn ngữ: | Français Anglais |
| Được phát hành: |
Paris :
Hermann informatique
2013.
Paris : Cyberlibris |
| Những chủ đề: | |
| Truy cập trực tuyến: | Accès Université Orléans et IFPM |
| Chú thích: |
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 |
| LEADER | 01810nam a22002657a 4500 | ||
|---|---|---|---|
| 001 | 1278188 | ||
| 008 | 241211s2013 xxg ||| |||| 00| 0 fre d | ||
| 009 | PPN282068554 | ||
| 020 | |a 9791037033789 | ||
| 041 | 0 | |a fre |a eng |b fre |b eng | |
| 110 | 2 | |a Journées francophones des langages applicatifs |n (21 |d :2010 |c :[Vieux-Port La Ciotat]). |4 aut | |
| 245 | 1 | 0 | |a Journées francophones des langages applicatifs = |b French speaking conference on functional programming and proof techniques : Special issue : selection of best papers of the conference JFLA 2010 |c guest editor Micaela Mayero. |
| 260 | |a Paris : |b Hermann informatique. | ||
| 260 | |a Paris : |b Cyberlibris, |c 2013. | ||
| 500 | |a Couverture. https://static2.cyberlibris.com/books_upload/136pix/9791037033789.jpg | ||
| 500 | |a Studia informatica universalis, ISSN 1625-7545, vol. 9, nů, 211 | ||
| 500 | |a Cyberlibris (ScholarVox) Corpus Lettres | ||
| 504 | |a Notes bibliographiques | ||
| 506 | |a L'accès en ligne est réservé aux établissements ou bibliothèques ayant souscrit l'abonnement. Cyberlibris | ||
| 650 | |a Langages de programmation fonctionnelle | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Mayero, Micaela, |d 1971- |4 pbd | |
| 776 | 0 | |0 153231068 |t Journées francophones des langages applicatifs |l French speaking conference on functional programming and proof techniques |o Special issue : selection of best papers of the conference JFLA 2010 |f guest editor Micaela Mayero |c Paris |n Hermann informatique |d 2011 |p 1 volume (185 pages) |z 978-2-7056-8178-4 | |
| 856 | 4 | |5 452349901:844695475 |u https://ezproxy.univ-orleans.fr/login?qurl=https://univ.scholarvox.com/book/88953004 |z Accès Université Orléans et IFPM | |
| 997 | |0 1278188 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/ScholarVox (ebooks)/ | ||