Advanced topics in bisimulation and coinduction

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	Rutten, J. J. M. M. Sangiorgi, Davide

Utgitt	Cambridge : Cambridge University Press , 2012
Omfang	XIII, 326 s. : fig.
Emner	modal logikk probabilistisk koinduksjon bisimulering
Dewey	511.31
ISBN	9781107004979

Biblioteksøk