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

Medvirkende	Ryan, Mark

Utgitt	Cambridge : Cambridge University Press , 2002
Omfang	XVIII, 387
Emner	Datamaskinlogikk Elektroniske kretser Matematisk logikk
Dewey	005.131 Hut
ISBN	0-521-65602-8

Biblioteksøk