Seol mar théacs é seo :: UTM Library Massive Scholar Tracking

Léim chuig an ábhar

VuFind

- 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
- Монгол

CASTA

Proving safety with trace auto...
Seol mar théacs é seo

Seol mar théacs é seo: Proving safety with trace automata and bounded model checking

Uimhir:

Soláthraí:

Roghanna cuardaigh

Stair cuardach
Cuardach Casta

Aimsigh tuilleadh

Brabhsáil an chatalóg
Brabhsáil in ord aibítre
Breathnaigh ar chainéil
Áirithintí cúrsa
Míreanna nua

Cabhair uait?

Leideanna cuardaigh
Cuir ceist ar leabharlannaí
CCanna