Chiudi Menù
Regione Autonoma della Sardegna Regione Autonoma della Sardegna Regione Autonoma della Sardegna Regione Autonoma della Sardegna
Regione Sardegna
Seguici su
Cerca Cerca nel sito

Regione Sardegna

Altre azioni
Torna Indietro Torna Indietro

Computer-aided verification : 2. international conference, CAV '90

Computer-aided verification : 2. international conference, CAV '90
Informazioni
Lo trovi in

Categoria

Testo

Natura

Monografia

Titolo

Computer-aided verification : 2. international conference, CAV '90

Nomi

Clarke, Edmund M. <1945- >
Kurshan, Robert P.

Descrizione

Computer-aided verification : 2. international conference, CAV '90 / E. M. Clarke, R. P. Kurshan (eds.)

Descrizione Fisica

XIII, 372 p. ; 25 cm

Numeri Standard

ISBN: 0387544771, New York
ISBN: 3540544771, Berlin

Data

c1991

Luogo di pubblicazione

Berlin \etc.!

Paese

GERMANIA

Lingua

INGLESE

Fonte

Biblioteche SBN Sardegna

ID

IT\ICCU\AQ1\0015349

Link Risorse

http://id.sbn.it/bid/AQ10015349
Biblioteca del Distretto tecnologico – sezione Matematica e informatica

Tag

Altre azioni

Immagini

Civico Teatro di Sassari, per la sera di Martedì 18 Novembre 1845, serata a beneficio del primo basso assoluto Luigi Battallini, lo spettacolo verrà diviso come segue : 1. Sinfonia della Fausta ; 2. Coro, Quartetto, e Polacca dell'atto primo dell'Opera I puritani del M. Bellini ; 3. Atto secondo, dell'Opera I due sergenti del M. Luigi Ricci ; 4. Gran scena e Cavatina nell'Opera Gli esiliati in Siberia del celebre M. Cav. Gaetano Donizetti eseguita dal beneficiato ; 5. Duetto nell'Opera l'Elisir d'amore, eseguito dalla Duffò e Magrini ; 6. Duetto nell'atto 3. dei puritani ; a render più gradevole lo spettacolo offre uno scherzo mimico composto dal impresaro Ferdinando Vanelli

Civico Teatro di Sassari, per la sera di Martedì 18 Novembre 1845, serata a beneficio del primo basso assoluto Luigi Battallini, lo spettacolo verrà diviso come segue : 1. Sinfonia della Fausta ; 2. Coro, Quartetto, e Polacca dell'atto primo dell'Opera I puritani del M. Bellini ; 3. Atto secondo, dell'Opera I due sergenti del M. Luigi Ricci ; 4. Gran scena e Cavatina nell'Opera Gli esiliati in Siberia del celebre M. Cav. Gaetano Donizetti eseguita dal beneficiato ; 5. Duetto nell'Opera l'Elisir d'amore, eseguito dalla Duffò e Magrini ; 6. Duetto nell'atto 3. dei puritani ; a render più gradevole lo spettacolo offre uno scherzo mimico composto dal impresaro Ferdinando Vanelli

Anno : 1845
Civico Teatro di Sassari, per la sera di Martedì 18 Novembre 1845, serata a beneficio del primo basso assoluto Luigi Battallini, lo spettacolo verrà diviso come segue : 1. Sinfonia della Fausta ; 2. Coro, Quartetto, e Polacca dell'atto primo dell'Opera I puritani del M. Bellini ; 3. Atto secondo, dell'Opera I due sergenti del M. Luigi Ricci ; 4. Gran scena e Cavatina nell'Opera Gli esiliati in Siberia del celebre M. Cav. Gaetano Donizetti eseguita dal beneficiato ; 5. Duetto nell'Opera l'Elisir d'amore, eseguito dalla Duffò e Magrini ; 6. Duetto nell'atto 3. dei puritani ; a render più gradevole lo spettacolo offre uno scherzo mimico, composto dal impresaro Ferdinando Vanelli

Civico Teatro di Sassari, per la sera di Martedì 18 Novembre 1845, serata a beneficio del primo basso assoluto Luigi Battallini, lo spettacolo verrà diviso come segue : 1. Sinfonia della Fausta ; 2. Coro, Quartetto, e Polacca dell'atto primo dell'Opera I puritani del M. Bellini ; 3. Atto secondo, dell'Opera I due sergenti del M. Luigi Ricci ; 4. Gran scena e Cavatina nell'Opera Gli esiliati in Siberia del celebre M. Cav. Gaetano Donizetti eseguita dal beneficiato ; 5. Duetto nell'Opera l'Elisir d'amore, eseguito dalla Duffò e Magrini ; 6. Duetto nell'atto 3. dei puritani ; a render più gradevole lo spettacolo offre uno scherzo mimico, composto dal impresaro Ferdinando Vanelli

Anno : 1845

Risultati 2 di 63850

Visualizza Tutti Visualizza Tutti

Testi

Computer aided verification : 3. international workshop, CAV '91

Computer aided verification : 3. international workshop, CAV '91

Autore : CAV <3. ; 1991

Anno : 1992
Computer aided systems theory - EUROCAST '91 : a selection of papers from the second International workshop on computer aided systems theory

Computer aided systems theory - EUROCAST '91 : a selection of papers from the second International workshop on computer aided systems theory

Autore : International workshop on computer aided systems theory <2. ; 1991

Anno : 1992

Risultati 2 di 2189581

Visualizza Tutti Visualizza Tutti

Video

2: 3. L'Europa in fiamme

2: 3. L'Europa in fiamme

Anno : 2015
MIB. Men in Black International

MIB. Men in Black International

Anno : 2019

Risultati 2 di 69907

Visualizza Tutti Visualizza Tutti

Audio

Devils advocate

Devils advocate

Autore : Clarke, Dave

Anno : 2003
Marco Messeri legge Favole. 2.

Marco Messeri legge Favole. 2.

Anno : 2010

Risultati 2 di 23962

Visualizza Tutti Visualizza Tutti

Commenti

Carica altri

Scrivi un commento

Invia
Scrivi un commento