Titelaufnahme

Titel
Polynomial formal verification of multipliers / M. Keim ...
VerfasserKeim, Martin
ErschienenHalle : Department of Mathematics and Computer Science, Martin Luther University Halle-Wittenberg, 1997 ; Göttingen : Niedersächsische Staats- und Universitätsbibliothek, 1997
UmfangOnline-Ressource (PDF-Datei: 15 S., 0,24 MB)
SpracheEnglisch
SerieReports ; 1997,7
URNurn:nbn:de:gbv:3:2-77215 
Zugriffsbeschränkung
 Das Dokument ist frei verfügbar
Dateien
Polynomial formal verification of multipliers [0.24 mb]
Links
Nachweis
Klassifikation