Proof Automation for Fine-Grained Concurrent Separation Logic
Ike Mulder
Proof Automation for Fine-Grained Concurrent Separation Logic
PaperbackEngels
In het kort
ISBN-13
9789464963106
Uitgever
Verschenen
3 februari 2025
Imprint
Bibliografisch
ISBN-139789464963106
Editie1
TaalEngels eng
GeïllustreerdNee
Uitgave
UitgeverGildeprint
ImprintGildeprint proefschrift
CB-relatie-id9281503
Verschenen3 februari 2025
StatusOnbekend 00
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01Ike Mulder
Herkomst
Werk-id (NSTC)501612786
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 501612786 · CB-relatie 9281503 · Bijgewerkt 6 augustus 2026