Verified & Fast Probabilistic Verification
Bram Kohlen
Verified & Fast Probabilistic Verification Stepwise Refinement of Probabilistic Model Checking into an IEEE 754 Floating-Point Implementation
E-bookEngels
Ook verkrijgbaar als
In het kort
ISBN-13
9789036570350
Uitgever
Verschenen
12 februari 2026
Bibliografisch
ISBN-139789036570350
Editie1
TaalEngels eng
GeïllustreerdNee
Uitgave
UitgeverUniversiteit Twente Bibliotheek
CB-relatie-id8186142
Verschenen12 februari 2026
StatusOnbekend 00
Vorm & inhoud
ProductvormE-book ED
VormdetailE107 PDF
SamenstellingLos product
Beveiliging e-bookGeen 00
Classificatie
Medewerkers
Auteur A01Bram Kohlen
Herkomst
Werk-id (NSTC)501654014
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 501654014 · CB-relatie 8186142 · Bijgewerkt 6 augustus 2026