Ergebnisse filtern
-
- 2
- 1
-
- 1
- 1
- 1
-
- 3
- 2
-
- 1
- 1
- 1
-
- 3
-
- 2
- 1
-
- 3
-
- 3
EDV | Informatik
-
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 KaiserslauternNeuerscheinungVerlag: VDE VerlagISBN: 978-3-8007-6267-5Medium: Sonstiges119,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Stoffel / Kunz Reasoning in Boolean Networks
Logic Synthesis and Verification Using Testing Techniques1. Auflage. Softcover version of original hardcover Auflage 1997Verlag: Springer USISBN: 978-1-4419-5176-2Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kunz / Stoffel Reasoning in Boolean Networks
Logic Synthesis and Verification Using Testing Techniques1997. Auflage 1997Verlag: Springer Nature SingaporeISBN: 978-0-7923-9921-6Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort