Formally verified modular semantics
Ken Madlener
Formally verified modular semantics
Paperback146 pagina’sEngels
In het kort
ISBN-13
9789088919466
Uitgever
Verschenen
9 oktober 2014
Bibliografisch
ISBN-139789088919466
Editie1
TaalEngels eng
Pagina’s146
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Theoretische informatica 993
NUR (alle)993 Theoretische informatica
Medewerkers
Auteur A01Ken Madlener
Herkomst
Werk-id (NSTC)500458234
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 500458234 · CB-relatie 9580114 · Bijgewerkt 6 augustus 2026