Werkzeuggestützte Ableitung Boolescher Modelle auf Grundlage existierender Variabilitätsmodelle. Eine Betrachtung
-
- Taschenbuch ausgewählt
- eBook
-
Sprache:Deutsch
Fr. 27.90
inkl. gesetzl. MwSt.,
-
Kostenlose Lieferung ab Fr. 30 Einkaufswert
Schweiz & Liechtenstein:
Versandkostenfrei ab Fr. 30.00
Versandkosten bis Fr. 30.00: Fr. 3.50Andere Lieferländer
Fr. 18.00 unabhängig vom Warenwert
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
15.07.2016
Verlag
GRINSeitenzahl
40
Maße (L/B/H)
21/14.8/0.4 cm
Gewicht
73 g
Auflage
1. Auflage
Sprache
Deutsch
ISBN
978-3-668-25550-0
Diese Arbeit vergleicht die vorhandenen Werkzeuge und Algorithmen, die KConfig-Modelle in das DIMACS oder CNF Format übersetzen. Der Vergleich basiert dabei auf der vorhandenen Literatur. Dabei wird insbesondere darauf eingegangen, ob die erstellten Übersetzungen überhaupt korrekt sind, ob redundante Daten erzeugt werden und wie die Werkzeuge und Algorithmen mit nicht-Boolesche Elemente umgehen.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.