Efficient automatic verification of loop and data-flow transformations
K. Shashidhar
Efficient automatic verification of loop and data-flow transformations by functional equivalence checking
Hardback247 pagina’sNederlands
In het kort
ISBN-13
9789056826772
Bibliografisch
ISBN-139789056826772
Editie1
TaalNederlands dut
Pagina’s247
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. Shashidhar
Herkomst
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
CB-relatie 8109288 · Bijgewerkt 6 augustus 2026