Deductive Verification Techniques for Embedded Systems
Philip Ben Heinrich Tasche
Deductive Verification Techniques for Embedded Systems
Ook verkrijgbaar als
In het kort
ISBN-13
9789036571593
Uitgever
Verschenen
12 juni 2026
Bibliografisch
ISBN-139789036571593
SerieIPA dissertation series — deel 2026-11
Editie1
TaalEngels eng
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormE-book ED
VormdetailE107 PDF
SamenstellingLos product
Beveiliging e-bookGeen 00
Classificatie
Medewerkers
Auteur A01Philip Ben Heinrich Tasche
Herkomst
Werk-id (NSTC)501666020
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 501666020 · CB-relatie 8186142 · Bijgewerkt 6 augustus 2026