vergriffen

Efficient SMT Solving for Bit-Vectors and the Extensional Theory of Arrays

Englisch · Fester Einband

Beschreibung

Produktdetails

Autoren Robert Brummayer
Verlag Trauner Verlag
 
Sprache Englisch
Produktform Fester Einband
Erschienen 01.01.2016
 
Seiten 142
Abmessung 149 mm x 205 mm x 10 mm
Gewicht 202 g
Serie Schriftenreihe der Johannes-Kepler-Universität Linz
Thema Ratgeber > Recht, Beruf, Finanzen

Kundenrezensionen

Zu diesem Artikel wurden noch keine Rezensionen verfasst. Schreibe die erste Bewertung und sei anderen Benutzern bei der Kaufentscheidung behilflich.

Schreibe eine Rezension

Top oder Flop? Schreibe deine eigene Rezension.

Für Mitteilungen an CeDe.ch kannst du das Kontaktformular benutzen.

Die mit * markierten Eingabefelder müssen zwingend ausgefüllt werden.

Mit dem Absenden dieses Formulars erklärst du dich mit unseren Datenschutzbestimmungen einverstanden.