Bridging the Implementation Gap
Robert Benjamin Rubbens
Bridging the Implementation Gap Advances in Model-Based Concurrent Program Verification
In het kort
ISBN-13
9789036569101
Uitgever
Verschenen
15 oktober 2025
Bibliografisch
ISBN-139789036569101
SerieIPA dissertation series — deel 2025-14
Editie1
TaalEngels eng
GeïllustreerdNee
Uitgave
UitgeverUniversiteit Twente Bibliotheek
CB-relatie-id8186142
Verschenen15 oktober 2025
StatusOnbekend 00
Vorm & inhoud
ProductvormE-book ED
VormdetailE107 PDF
SamenstellingLos product
Beveiliging e-bookGeen 00
Classificatie
Medewerkers
Auteur A01Robert Benjamin Rubbens
Andere edities van dit werk NSTC 501642228
Herkomst
Werk-id (NSTC)501642228
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 501642228 · CB-relatie 8186142 · Bijgewerkt 6 augustus 2026