Modelisation et evaluation des systemes informatiques textes des exposes du seminaire ; Septembre 81 - Aout 82 by Institut national de recherche en informatique et en automatique (France) | Menrva Books | MenrvaBooks