Bekannte Unbekannte - Formale Methoden in Anwesenheit unbekannter Werte.
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Sven Reimer
Themen in »Bekannte Unbekannte - Formale Methoden in Anwesenheit unbekannter Werte.«
Formale Methoden MaxSat, OBF Optimierungsprobleme Verifikation und Testen von Schaltkreisen
Stimmen zu »Bekannte Unbekannte - Formale Methoden in Anwesenheit unbekannter Werte.«
Details
ISBN: 9783862475698
Verlag: Der Andere Verlag
Erscheinung: 25.05.2016