Fachgebiet
Medium
  • 2
  • 1
Erscheinungsjahr
  • 1
  • 1
  • 1
Autoren
  • 3
  • 2
Verlag
  • 1
  • 1
  • 1
Preis
  • 3
Sprachen
  • 2
  • 1
Verfügbarkeit
  • 3
Katalog
  • 3

Mathematik | Informatik

3  Treffer  für „Kunz, Wolfgang“


    VDE ITG / VDE / VDI GMM / GI ITG-Fb. 314: MBMV 2024

    Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 27. Workshop, 14. – 15.Februar 2024 in Kaiserslautern
    Neuerscheinung
    Verlag: VDE Verlag
    ISBN: 978-3-8007-6267-5
    Medium: Sonstiges
    119,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Stoffel / Kunz Reasoning in Boolean Networks

    Logic Synthesis and Verification Using Testing Techniques
    1. Auflage. Softcover version of original hardcover Auflage 1997
    Verlag: Springer US
    ISBN: 978-1-4419-5176-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kunz / Stoffel Reasoning in Boolean Networks

    Logic Synthesis and Verification Using Testing Techniques
    1997. Auflage 1997
    Verlag: Springer Nature Singapore
    ISBN: 978-0-7923-9921-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular