Results

Found results 1

Full data Concise data

Click the title to see full data and shelfmark of each item

Consultabilità delle tesi

Consultabile Consultabile
Non consultabile Non consultabile

Tesi presenti nel catalogo

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

New search