Modal action logics for reasoning about reactive systems
J. Broersen
Modal action logics for reasoning about reactive systems
In het kort
ISBN-13
9789090166117
Uitgever
Bibliografisch
ISBN-139789090166117
SerieSIKS dissertation series — deel 2003-2
Editie1
TaalNederlands dut
Pagina’s264
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Informatica algemeen 980
NUR (alle)980 Informatica algemeen
Medewerkers
Auteur A01J. Broersen
Herkomst
Werk-id (NSTC)501272216
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 501272216 · CB-relatie 9432190 · Bijgewerkt 6 augustus 2026