Logics for digital circuit verification
G.L.J.M. Janssen
Logics for digital circuit verification theory, algorithms and applications
PaperbackEngels
In het kort
ISBN-13
9789038615608
Bibliografisch
ISBN-139789038615608
Editie1
TaalEngels eng
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Technische wetenschappen algemeen 950
NUR (alle)950 Technische wetenschappen algemeen
Medewerkers
Auteur A01G.L.J.M. Janssen
Herkomst
Werk-id (NSTC)501237938
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
Gastechnicus
Ontmanteling van een kerncentrale
Waterstof en de verliezen onderweg
Luchtverkeersleiding in gewone taal
Wissels, seinen en de dienstregeling
Teruglevering en negatieve prijzen
Desalination: Drinking the Sea
Brandwerendheid: hoe een gebouw tijd koopt
Tunnelboren onder een bewoonde stad
Chipfabricage van zand tot processor
NSTC 501237938 · CB-relatie 8180218 · Bijgewerkt 6 augustus 2026