Vi bruker teknologi på nettsiden vår som nettleseren din ikke støtter. Vurder å oppgrader nettleseren din til en nyere versjon. Har du Internet Explorer 11 må du gå over til Edge eller en annen nettleser, der IE11 har sluttet å motta oppdateringer.
Logg inn

Kjøp bok

Selg boken i stedet Naviger

Logic in Computer Sciences: Modelling and Reasoning about Computer Systems

Av
Michael R. A. Huth, Mark D. Ryan
Forlag
Cambridge University Press (Virtual Publishing)
ISBN
9780521652001
Utgitt
2000

Ikke riktig utgave? Prøv å søke etter flere utgaver.

Kjøp ny

Vi har dessverre ingen aktive iBok-annonser for denne boken.

Bokvarsling

Opprett bokvarsling

Dersom du trykker på 'Opprett bokvarsling' vil du automatisk bli varslet når noen legger ut denne boken for salg.