Košík

Záznam byl přidán do košíku

1.Temporal logic and state systems
Půjčit

Temporal logic and state systems / Fred Kröger, Stephan Merz. Berlin ; Heidelberg : Springer, 2008 . xi, 433 stran

Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci

PRF 0 0 0 1 0 0
Z košíku
Citace
Bookmark

Vybrané dokumenty
Citace

citace PRO
kniha
Půjčit

Pro plnou funkčnost těchto stránek je nutné povolit JavaScript. Zde jsou instrukce jak povolit JavaScript ve Vašem webovém prohlížeči.