Approches formelles des systemes embarques communicants traite ic2 serie informatique et systemes d' de Roux — Avis et clubs de lecture | Booklub