Reasoning about Hyperproperties
Dimiter Milushev
Reasoning about Hyperproperties
Paperback192 pagina’sEngels
In het kort
ISBN-13
9789086496280
Verschenen
19 juni 2013
Bibliografisch
ISBN-139789086496280
Editie1
TaalEngels eng
Pagina’s192
GeïllustreerdJa
Uitgave
CB-relatie-id9359143
Verschenen19 juni 2013
StatusOnbekend 00
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Computertechniek 958
NUR (alle)958 Computertechniek
Medewerkers
Auteur A01Dimiter Milushev
Herkomst
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
CB-relatie 9359143 · Bijgewerkt 6 augustus 2026