Zur Implementierung eines ROBDD-basierten Systems für die Manipulation und Visualisierung von Relationen

von Ulf Milanese Taschenbuch Details (Deutschland) ISBN-13: 978-3-8325-0380-2 ISBN-10: 3-8325-0380-3 Logos Berlin · 2004