Semantics and verification in process algebras with data and timing
T.A.C. Willemse
Semantics and verification in process algebras with data and timing
PaperbackEngels
In het kort
Bibliografisch
ISBN-139789038606729
Editie1
TaalEngels eng
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Theoretische informatica 993
NUR (alle)993 Theoretische informatica
Medewerkers
Auteur A01T.A.C. Willemse
Herkomst
Werk-id (NSTC)501237693
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
NSTC 501237693 · CB-relatie 8180218 · Bijgewerkt 6 augustus 2026