Электронный каталог

страница из

всего найдено записей: 1,
  отображать
10 записей 20 записей 40 записей

Computer aided verification : 17th international conference, CAV 2005 Edinburgh, Scotland, UK, July 6-10, 2005: proceedings / ed. K. Etessami, 2005 r=on-line. - Текст : электронный.