Näytetään
1 - 1
yhteensä
1
tuloksesta haulle '
'
Siirry sisältöön
Oma tili
Kirjaudu ulos
Kirjaudu sisään
Kieli
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Kaikki kentät
Nimeke
Tekijä
Aihe
Hyllypaikka
ISBN/ISSN
Tagi
Hae
Tarkennettu
Poista rajaukset
Tekijä:
ACM Sigsoft
Hyllypaikka:
Q - Khoa học
Genre:
Congresses
Organisaatio:
Thư viện Trường Đại học Đà Lạt
Aihe-ehdotuksia:
Computer software
JA
Verification
Poista rajaukset
Näytä rajaukset (6)
Tekijä:
ACM Sigsoft
Hyllypaikka:
Q - Khoa học
Genre:
Congresses
Organisaatio:
Thư viện Trường Đại học Đà Lạt
Aihe-ehdotuksia:
Computer software
JA
Verification
Hakutulokset
Aihe-ehdotuksia
Aihe-ehdotuksia
Computer software
Verification
Näytetään
1 - 1
yhteensä
1
tuloksesta haulle '
'
, hakuaika: 0,18s
Tarkenna hakua
Järjestä
Relevanssi
Aika (uusimmat ensin)
Aika (vanhimmat ensin)
Luokka
Tekijä
Nimeke
1
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Julkaistu 2001
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Näytä QR-koodi
Lisää suosikkeihin
Tallennettuna:
Työkalut:
RSS-syöte
—
Lähetä haku sähköpostilla
—
Tallenna haku
Takaisin
Rajaa hakua
Organisaatio
Thư viện Trường Đại học Đà Lạt
Aineistotyyppi
Sách giấy
1
Hyllypaikka
Q - Khoa học
Tekijä
ACM Sigsoft
Dwyer, Matthew, 1963-
1
International SPIN Workshop Toronto, Ont.)
1
Genre
Congresses
Julkaisuvuosi
Alkaen:
Päättyen:
Lataa...