An abstraction-refinement theory for the analysis and design of concurrent real-time systems
Philip-Sebastian Kurtin
An abstraction-refinement theory for the analysis and design of concurrent real-time systems
PaperbackEngels
In het kort
ISBN-13
9789036546461
Uitgever
Verschenen
9 november 2018
Serie
DSI PhD Series
Bibliografisch
ISBN-139789036546461
SerieDSI PhD Series
Editie1
TaalEngels eng
GeïllustreerdNee
Uitgave
UitgeverUniversiteit Twente Bibliotheek
CB-relatie-id8186142
Verschenen9 november 2018
StatusOnbekend 00
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01Philip-Sebastian Kurtin
Herkomst
Werk-id (NSTC)500347422
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
NSTC 500347422 · CB-relatie 8186142 · Bijgewerkt 6 augustus 2026