Näytetään 1 - 1 yhteensä 1 tuloksesta haulle 'Holzmann, Gerald J., 1951-', hakuaika: 0,02s Tarkenna hakua
  1. 1
    The spin model checker : primer and reference manual /
    Tekijä Holzmann, Gerald J., 1951-
    Julkaistu 2004
    Kirja
Työkalut: RSS-syöte – Lähetä haku sähköpostilla