Reactive systems : modelling, specification and verification /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Aceto, Luca, 1961- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cambridge : Cambridge University Press, c2007.
Témata:
expertní systémy
expert systems
Obálka Obsah Přejít na ObalkyKnih.cz
Popis
Fyzický popis:xvi, 284 s.
ISBN:978-0-521-87546-2

Podobné jednotky