Logic in computer science : modelling and reasoning about systems

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	Cambridge : Cambridge University Press , 2000
Omfang	XVIII, 387 s. : fig.
Emner	Computer logic Matematisk logikk - Databehandling matematisk logikk informatikk
ISBN	0521652006. - 0521656028

Biblioteksøk