Title: Structures de données et méthodes formelles
Subjects: Computer files, Software engineering, Computer science, Data structures (Computer science)