Towards correct programs in practice: proving functional andNon-functional properties by means of program analysis
A.N. Tamalet
Towards correct programs in practice: proving functional andNon-functional properties by means of program analysis
PaperbackNederlands
In het kort
Bibliografisch
ISBN-139789461910868
Editie1
TaalNederlands dut
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Theoretische informatica 993
NUR (alle)993 Theoretische informatica
Medewerkers
Auteur A01A.N. Tamalet
Herkomst
Werk-id (NSTC)500935295
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 500935295 · CB-relatie 7656783 · Bijgewerkt 6 augustus 2026