Refine Your Search
Book List
1
-
Comprendre les méthodes formelles : panorama et outils logiques / Jean-François Monin ; préf. de Gérard Huet.
- BnF 359117
- Monin, Jean-François.
- Masson,
- c1996.
- Paris ; Milan ; Barcelone :