Validation Techniques for Object-Oriented Proof Outlines
C. Pierik
Validation Techniques for Object-Oriented Proof Outlines
HardbackNederlands
In het kort
Bibliografisch
ISBN-139789039342176
Editie1
TaalNederlands dut
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormHardback BB
SamenstellingLos product
Classificatie
NUR (hoofd)Theoretische informatica 993
NUR (alle)993 Theoretische informatica
Medewerkers
Auteur A01C. Pierik
Herkomst
Werk-id (NSTC)501204650
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 501204650 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026