|  |
 |
| Artikel-Nr.: 858A-9783642053559 Herst.-Nr.: 9783642053559 EAN/GTIN: 9783642053559 |
| |
|
|  |  |
 | Spezifikation und Verifikation Weitere Informationen:  |  | Author: | Christian Haubelt; Jürgen Teich | Verlag: | Springer Berlin | Sprache: | ger |
|
|  |  |
 | |  |  |
 | Weitere Suchbegriffe: allgemeine Informatikbücher - deutschsprachig, allgemeine informatikbücher, Digital - Digitaltechnik, EDV / Theorie / Software-Entw. / Software Engineering, Elektrotechnik, Erfüllbarkeitsproblem der Aussagenlogik, Hardware, Hardware-Software-Verifikation, Informatik, Informationstechnik, Klassifikation, Notation, Schnittstelle |
|  |  |
| |