Instructif à propos des compilateurs et de la preuve de programmes :
Interstices - À propos des compilateurs
A voir aussi : http://interstices.info/jcms/n_52365/comment-faire-confiance-a-un-compilateur
skip to main |
skip to sidebar
Publication de ressources pédagogiques en informatique : podcast, tutoriels, cours en lignes, applications pédagogiques, etc.
Rubriques
- Accessibility (1)
- API PHP (1)
- Application Web (6)
- Automate et langage (3)
- Bibliographie (13)
- Big Data (4)
- Compilation (4)
- Computer science (25)
- Cours en ligne (14)
- Development Tools (4)
- e-learning (12)
- e-miage (4)
- Général (16)
- Graph database (1)
- GreenIT (1)
- HaXe (1)
- IHM (1)
- Java (3)
- JavaScript (3)
- Knowledge Management (4)
- Knowledge Representation (2)
- Langage (9)
- Linked Data (1)
- Logique (7)
- Machine Learning (1)
- Math (2)
- Math. (1)
- MIAGE (4)
- Modèle formel (5)
- MOOC (1)
- NoSQL (1)
- Open data (4)
- PHP (2)
- Podcast (7)
- Programmation (13)
- RDF (5)
- Resource Description Framework (5)
- SAX (1)
- Semantic technology (5)
- Semantic Web (9)
- SQL (2)
- Support de cours (9)
- W3C (3)
- Web Accessibility Initiative (1)
- Web des données (5)
- Webographie (15)
- World Wide Web (5)
- XML (5)
Crédits
© E. Desmontils, Université de Nantes, novembre 2007
|
Cette création et tous les documents référencés (textes, vidéos, sons) sont, sauf mention explicite, mis à disposition sous un contrat Creative Commons. |