Esaurito

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

Inglese · Copertina rigida

Descrizione

Dettagli sul prodotto

Autori Robert Brummayer
Editore Trauner Verlag
 
Lingue Inglese
Formato Copertina rigida
Pubblicazione 01.01.2016
 
Pagine 142
Dimensioni 149 mm x 205 mm x 10 mm
Peso 202 g
Serie Schriftenreihe der Johannes-Kepler-Universität Linz
Categoria Guide e manuali > Diritto, professione, finanze

Recensioni dei clienti

Per questo articolo non c'è ancora nessuna recensione. Scrivi la prima recensione e aiuta gli altri utenti a scegliere.

Scrivi una recensione

Top o flop? Scrivi la tua recensione.

Per i messaggi a CeDe.ch si prega di utilizzare il modulo di contatto.

I campi contrassegnati da * sono obbligatori.

Inviando questo modulo si accetta la nostra dichiarazione protezione dati.