Polynomial formal verification of multipliers / M. Keim ...
Anzeigen / Download246.56 KB
Discovery
566404931
URN
urn:nbn:de:gbv:3:2-77215
DOI
ISBN
ISSN
Autorin / Autor
Beiträger
Körperschaft
Erschienen
Halle : Department of Mathematics and Computer Science, Martin Luther University Halle-Wittenberg, 1997
Umfang
Online-Ressource (PDF-Datei: 15 S., 0,24 MB)
Ausgabevermerk
Sprache
eng
Anmerkungen
Inhaltliche Zusammenfassung
Schriftenreihe
Reports ; 1997,7 ppn:389849081