MENÜ
Beweisertechnologien für die Produktdatenverwaltung
Andreas Kaiser
ISBN 978-3-8325-0358-1
150 pages, year of publication: 2003
price: 40.50 €
Keywords:
- Aussagenlogik
- Produktdatenverwaltung
- Konfiguration
- Automatisches Beweisen
- Erfüllbarkeitsprüfung
BUYING OPTIONS