Lehrbuch

Hardware-Design : formaler Entwurf digitaler Schaltungen

zu Verbundenen Objekten

Digitalisierung: Bayerische Staatsbibliothek

Urheberrechtsschutz

Standort: Würzburg, Universitätsbibliothek -- 20/ST 150 K29

ISBN: 3815420652

Umfang: 415 S.

Sprache: Deutsch

Anmerkungen: graph. Darst.
Literaturverz. S. 405 - 407

Erschienen in: Teubner-Texte zur Informatik ; 15

Schlagwort: Formale Methode
Schaltungsentwurf
Logische Schaltung
Hardwareentwurf
Digitalschaltung
Entwurf

Ereignis: Veröffentlichung

(wo): Stuttgart [u.a.]

(wer): Teubner

(wann): 1995

Urheber: Keller, Jörg
Paul, Wolfgang J.

URN: urn:nbn:de:bvb:12-bsb00057414-1

Letzte Aktualisierung: 16.04.2025, 08:38 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Bayerische Staatsbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Original beim Datenpartner anzeigen

Objekttyp

Lehrbuch

Beteiligte

Entstanden

1995

Ähnliche Objekte (12)

Lehrbuch

Hardware-Design : formaler Entwurf digitaler Schaltungen

Lehrbuch

Hardware-Design : formaler Entwurf digitaler Schaltungen

Lehrbuch

Hardware-Design : formaler Entwurf digitaler Schaltungen

Practical formal methods for hardware design

Hochschulschrift | Online-Publikation

Eine formale algorithmische Synthese digitaler Schaltungen

Hochschulschrift

Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen

Digitale Schaltungen

Lehrbuch

Hardware-Design : formaler Entwurf digitaler Schaltungen

Lehrbuch

Hardware-Design : formaler Entwurf digitaler Schaltungen

Lehrbuch

Hardware-Design : formaler Entwurf digitaler Schaltungen

Practical formal methods for hardware design

Hochschulschrift | Online-Publikation

Eine formale algorithmische Synthese digitaler Schaltungen

Hochschulschrift

Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen

Digitale Schaltungen

Lehrbuch

Hardware-Design : formaler Entwurf digitaler Schaltungen

Lehrbuch

Hardware-Design : formaler Entwurf digitaler Schaltungen

Lehrbuch

Hardware-Design : formaler Entwurf digitaler Schaltungen

Practical formal methods for hardware design

Hochschulschrift | Online-Publikation

Eine formale algorithmische Synthese digitaler Schaltungen

Hochschulschrift

Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen

Digitale Schaltungen

Informationen zur Registrierung von Kultur- und Wissenseinrichtungen finden Sie hier.

Felder mit * müssen ausgefüllt werden.

Benutzername*

Bitte geben Sie Ihren Benutzernamen ein

E-Mail*

Bitte geben Sie Ihre E-Mail ein

Bitte füllen Sie dieses Feld nicht aus

Vorname

Nachname

Passwort*

Bitte geben Sie Ihr Passwort ein

Passwort bestätigen*

Bitte geben Sie das gleiche Passwort ein

Ich habe die Nutzungsbedingungen und die Datenschutzerklärung zur Erhebung persönlicher Daten gelesen und stimme ihnen zu. *

Dieses Feld ist ein Pflichtfeld.

Ich möchte den Newsletter der Deutschen Digitalen Bibliothek abonnieren. Siehe Informationen zum Newsletter-Abonnement.

Benutzerkonto angelegt

Ihr „Meine DDB“-Konto wurde erfolgreich angelegt. Bevor Sie sich in Ihrem Konto anmelden können, müssen Sie auf den Bestätigungslink in der Nachricht klicken, die wir gerade an die von Ihnen angegebene E-Mail-Adresse geschickt haben

Hardware-Design : formaler Entwurf digitaler Schaltungen

Download

Angaben zum Objekt

Verweise und Beziehungen

Klassifikation und Themen

Beteiligte, Orts- und Zeitangaben

Weitere Informationen

Datenpartner

Objekttyp

Beteiligte

Entstanden

Ähnliche Objekte (12)

Hardware-Design : formaler Entwurf digitaler Schaltungen

Hardware-Design : formaler Entwurf digitaler Schaltungen

Hardware-Design : formaler Entwurf digitaler Schaltungen

Practical formal methods for hardware design

Eine formale algorithmische Synthese digitaler Schaltungen

Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen

Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen

Digitale Schaltungen

Digitale Schaltungen

Digitale Schaltungen

Digitale Schaltungen

Digitale Schaltungen

Hardware-Design : formaler Entwurf digitaler Schaltungen

Hardware-Design : formaler Entwurf digitaler Schaltungen

Hardware-Design : formaler Entwurf digitaler Schaltungen

Practical formal methods for hardware design

Eine formale algorithmische Synthese digitaler Schaltungen

Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen

Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen

Digitale Schaltungen

Digitale Schaltungen

Digitale Schaltungen

Digitale Schaltungen

Digitale Schaltungen

Hardware-Design : formaler Entwurf digitaler Schaltungen

Hardware-Design : formaler Entwurf digitaler Schaltungen

Hardware-Design : formaler Entwurf digitaler Schaltungen

Practical formal methods for hardware design

Eine formale algorithmische Synthese digitaler Schaltungen

Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen

Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen

Digitale Schaltungen

Digitale Schaltungen

Digitale Schaltungen

Digitale Schaltungen

Digitale Schaltungen

Verbundene Objekte

Passwort zurücksetzen