Easymap
K. van Oudheusden
Easymap a semi-automatic and correct-by-construction abstract-data-type refinement tool for pointer-intensive applications
Hardback275 pagina’sNederlands
In het kort
ISBN-13
9789056826932
Bibliografisch
ISBN-139789056826932
Editie1
TaalNederlands dut
Pagina’s275
GeïllustreerdNee
Uitgave
CB-relatie-id8109288
StatusOnbekend 00
Vorm & inhoud
ProductvormHardback BB
SamenstellingLos product
Classificatie
NUR (hoofd)Technische wetenschappen algemeen 950
NUR (alle)950 Technische wetenschappen algemeen
Medewerkers
Auteur A01K. van Oudheusden
Herkomst
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
CB-relatie 8109288 · Bijgewerkt 6 augustus 2026