Formal methods for the verification of digital circuits
C.A.J. van Eijk
Formal methods for the verification of digital circuits
PaperbackNederlands
In het kort
ISBN-13
9789038603704
Bibliografisch
ISBN-139789038603704
Editie1
TaalNederlands dut
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Technische wetenschappen algemeen 950
NUR (alle)950 Technische wetenschappen algemeen
Medewerkers
Auteur A01C.A.J. van Eijk
Herkomst
Werk-id (NSTC)501229759
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 501229759 · CB-relatie 8180218 · Bijgewerkt 6 augustus 2026