Formal techniques for verification of complex real-time systems
M.C.W. Geilen
Formal techniques for verification of complex real-time systems
PaperbackEngels
In het kort
Bibliografisch
ISBN-139789038619309
Editie1
TaalEngels eng
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Systeemanalyse en -theorie 992
NUR (alle)992 Systeemanalyse en -theorie
Medewerkers
Auteur A01M.C.W. Geilen
Herkomst
Werk-id (NSTC)501238052
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
ArchiMate® 4 Specification - A Pocket Guide
ArchiMate® 4 Specification – A Pocket Guide
ArchiMate® 4 Specification – A Pocket Guide
Open Agile Architecture™ Standard, Version 2.0
Open Agile Architecture™ Standard, Version 2.0 - A Pocket Guide
Open Agile Architecture™ Standard, Version 2.0 - A Pocket Guide
De macht ontmaskerd
Hospital Reference Architecture Guide: The Complete and Expanded English translation of the Dutch ZiRA
Hospital Reference Architecture Guide
Hospital Reference Architecture Guide
NSTC 501238052 · CB-relatie 8180218 · Bijgewerkt 6 augustus 2026