Specificatie en Verificatie van Functionele Programmatuur in Hogere-Orde-Logica
P. Audenaert
Specificatie en Verificatie van Functionele Programmatuur in Hogere-Orde-Logica
PaperbackNederlands
In het kort
ISBN-13
9789081459402
Uitgever
Verschenen
28 april 2004
Bibliografisch
ISBN-139789081459402
Editie1
TaalNederlands dut
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01P. Audenaert
Herkomst
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
CB-relatie 7515200 · Bijgewerkt 6 augustus 2026









