Tekstiviesti :: Library Catalog

Siirry sisältöön

VuFind

Kirjaudu sisään
- 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
- हिंदी
- Հայերէն
- Українська
- Sámegiella
- Монгол
- Māori

Tarkennettu

Systems and software verificat...
Tekstiviesti

Tekstiviesti: Systems and software verification : model-checking techniques and tools / B. Bérard ... [and others].

Numero:

Tuottaja:

Haun vaihtoehdot

Hakuhistoria
Tarkennettu haku

Hae lisää

Selaa luetteloa
Selaa aakkosittain
Tutki kanavia
Kurssikirjat
Uutuusluettelo

Tarvitsetko apua?

Hakuohje
Kysy kirjastosta
UKK:t