Concurrent Separation Logics for Safety, Refinement, and Security
Dan Frumin
Concurrent Separation Logics for Safety, Refinement, and Security
PaperbackEngels
In het kort
ISBN-13
9789464191288
Uitgever
Verschenen
12 maart 2021
Bibliografisch
ISBN-139789464191288
Editie1
TaalEngels eng
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Exacte vakken en informatica algemeen 120
Medewerkers
Auteur A01Dan Frumin
Herkomst
Werk-id (NSTC)501373644
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 501373644 · CB-relatie 9281503 · Bijgewerkt 6 augustus 2026