Formal analysis and verification of embedded systems for healthcare
S. Keshishzadeh
Formal analysis and verification of embedded systems for healthcare
In het kort
ISBN-13
9789038640396
Verschenen
24 maart 2016
Bibliografisch
Uitgave
Vorm & inhoud
ProductvormHardback BB
SamenstellingLos product
Classificatie
NUR (hoofd)Informatica algemeen 980
NUR (alle)980 Informatica algemeen
Medewerkers
Auteur A01S. Keshishzadeh
Herkomst
Werk-id (NSTC)500412571
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
NSTC 500412571 · CB-relatie 8180218 · Bijgewerkt 6 augustus 2026









