Pošalji tekstualnu poruku :: Library Catalog

Preskoči na sadržaj

VuFind

Prijava
- 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

Napredno

Model checking / Edmund M. Cla...
Pošalji tekstualnu poruku

Pošalji tekstualnu poruku: Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.

Broj:

Pružatelj usluge:

Opcije pretrage

Povijest pretrage
Napredna pretraga

Pronađi više

Pregledaj katalog
Pregledaj abecednim redom
Istraži kanale
Rezervacije tečajeva
Novi predmeti

Trebaš pomoć?

Savjeti za pretragu
Upitaj knjižničara
Često postavljena pitanja