Logic in computer science : modelling and reasoning about systems /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Huth, Michael, 1962- (Autor), Ryan, Mark, 1955- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cambridge : Cambridge University Press, c2000.
Témata:
výpočetní technika
matematická logika
computer science
mathematical logic
monografie
monographs
Obálka Obsah Přejít na ObalkyKnih.cz
Popis
Fyzický popis:xviii, 387 s.
ISBN:0-521-65200-6
0-521-65602-8

Podobné jednotky