Filtern nach
Filtern nach
Für die Filterung wurden keine Ergebnisse gefunden!
frontend/listing/product-box/box-basic.tpl
- Kartoniert
- 163 Seiten
- Erschienen 2011
- Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of hardware and software systems via bounded model checking. He provides methods for efficiently solving formulae comprising...
53,49 €