Structures de données et méthodes formelles - Guyomard, Marc (2011)
Keywords: Information Technology -- Computer Science (Hardware & Networks)