Correctness preserving program refinements
Back
Correctness preserving program refinements
PaperbackNederlands
In het kort
ISBN-13
9789061962076
Bibliografisch
ISBN-139789061962076
Editie1
TaalNederlands dut
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01Back
Herkomst
Werk-id (NSTC)501350103
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 501350103 · CB-relatie 8081155 · Bijgewerkt 6 augustus 2026