Mijn boeken
← Catalogus
Verifying modal formulas over I/O-automata by means of type theory
M.P.A. Sellink

Verifying modal formulas over I/O-automata by means of type theory

M.P.A. Sellink
PaperbackNederlandsDeel 128 →
In het kort
ISBN-13
9789039306086
Uitgever
Universiteit Utrecht
NUR
600 · Non-fictie informatief/professioneel algemeen
Serie
Logic group preprint series · 128

Lijkt op dit boek

Omslag van Retorische scherpzinnigheid
Retorische scherpzinnigheid
Omslag van Lang leve literaire competentie
Lang leve literaire competentie
Omslag van Drie Russinnen en de seksuele kwestie
Drie Russinnen en de seksuele kwestie
Omslag van Resonerend lesgeven
Resonerend lesgeven
Omslag van Resonerend lesgeven
Resonerend lesgeven
Omslag van Wereldlessen
Wereldlessen
Omslag van The Death Cult
The Death Cult
Omslag van The Extinction Paradox
The Extinction Paradox
Omslag van Abundance
Abundance
Omslag van Abundance
Abundance
NSTC 501201929 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Catalogus
Verifying modal formulas over I/O-automata by means of type theory
M.P.A. Sellink

Verifying modal formulas over I/O-automata by means of type theory

M.P.A. Sellink
PaperbackNederlandsDeel 128 van Logic group preprint series →
Bestel bij bol →
In het kort
ISBN-13
9789039306086
Uitgever
Universiteit Utrecht
NUR
600 · Non-fictie informatief/professioneel algemeen
Serie
Logic group preprint series · 128

Lijkt op dit boek

Alles bekijken →
Omslag van Retorische scherpzinnigheid
Retorische scherpzinnigheid
Edward De Vooght
Omslag van Lang leve literaire competentie
Lang leve literaire competentie
Anne Kool
Omslag van Drie Russinnen en de seksuele kwestie
Drie Russinnen en de seksuele kwestie
Jacob Slavenburg
Omslag van Resonerend lesgeven
Resonerend lesgeven
Wieke Karsten
Omslag van Resonerend lesgeven
Resonerend lesgeven
Wieke Karsten
Omslag van Wereldlessen
Wereldlessen
Erik Ex
NSTC 501201929 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026