Risultati

Risultati trovati 1

Dati completi Dati sintetici

Clicca sul titolo per vedere i dati completi di ogni documento e la segnatura con la quale richiederlo.

Consultabilità delle tesi

Consultabile Consultabile
Non consultabile Non consultabile

Modalità di consultazione e contatti

Consultabile GIACOBBE MIRCO, PREDICATE ABSTRACTION OF PLC PROGRAMS USING SMT SOLVING, Rel. BIALLAS SEBASTIAN, AA 2011/2012
Autore: GIACOBBE MIRCO
Titolo: PREDICATE ABSTRACTION OF PLC PROGRAMS USING SMT SOLVING
Relatore: BIALLAS SEBASTIAN
Correlatore: KOWALESKI STEFAN
Secondo Correlatore: SEBASTIANI ROBERTO
Anno accademico: 2011/2012
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-122
Richiedi la consultazione

Nuova ricerca