Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "Java"
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1016359535 |
Art des Inhalts | Aufsatzsammlung |
Titel | Architecture Design and Validation Methods |
Person(en) | Börger, Egon (Herausgeber) |
Verlag | Berlin, Heidelberg : Springer Berlin Heidelberg |
Zeitliche Einordnung | Erscheinungsdatum: 2000 |
Umfang/Format | Online-Ressource |
Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Architecture design and validation methods |
Persistent Identifier |
URN: urn:nbn:de:1111-201110205160 DOI: 10.1007/978-3-642-57199-2 |
URL | https://link.springer.com/book/10.1007/978-3-642-57199-2 (Verlag) |
ISBN/Einband/Preis | 978-3-642-57199-2 |
EAN | 9783642571992 |
Anmerkungen | Lizenzpflichtig |
Schlagwörter |
Digitalschaltung ; VLSI ; Hardwareentwurf ; Softwareentwicklung ; Logiksynthese ; Aufsatzsammlung Digitalschaltung ; VLSI ; Hardwareentwurf ; Softwareentwicklung ; Testen ; Aufsatzsammlung Digitalschaltung ; VLSI ; Hardwareentwurf ; Softwareentwicklung ; Verifikation ; Aufsatzsammlung Digitalschaltung ; VLSI ; Hardwareentwurf ; Softwareentwicklung ; Formale Spezifikationstechnik ; Aufsatzsammlung Digitalschaltung ; VLSI ; Hardwareentwurf ; Softwareentwicklung ; Java Virtual Machine ; Aufsatzsammlung |
Sachgruppe(n) | 37 Elektrotechnik ; 28 Informatik, Datenverarbeitung |
Online-Zugriff | Archivobjekt öffnen |
