Popis: Dynamic logic /

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	Harel, David, 1950- (Autor), Kozen, Dexter C., 1951- (Autor), Tiuryn, Jerzy, 1950- (Autor)
Typ dokumentu:	Kniha
Jazyk:	Angličtina
Vydáno:	Cambridge : MIT Press, c2000.
Témata:	logika logic monografie monographs

Přejít na ObalkyKnih.cz

Popis
Fyzický popis:	xv, 459 s.
ISBN:	0-262-08289-6