Follow us on

Search

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

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

Information

You can find it in

Category

Testo

Nature

Monografia

Title

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

Names

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

Description

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

Physical description

XIII, 372 p. ; 25 cm

Standard numbers

ISBN: 0387544771, New York
ISBN: 3540544771, Berlin

Date

c1991

Place of publication

Berlin \etc.!

Village

GERMANIA

Tongue

INGLESE

Source

Biblioteche SBN Sardegna

ID

IT\ICCU\AQ1\0015349

Resources links

http://id.sbn.it/bid/AQ10015349

Tag

Images

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

Year : 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

Year : 1845

Results 2 of 63850

Texts

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

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

Author : CAV <3. ; 1991

Year : 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

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

Year : 1992

Results 2 of 2189581

Video

2: 3. L'Europa in fiamme

2: 3. L'Europa in fiamme

Year : 2015

MIB. Men in Black International

MIB. Men in Black International

Year : 2019

Results 2 of 69907

Audio

Devils advocate

Devils advocate

Author : Clarke, Dave

Year : 2003

Marco Messeri legge Favole. 2.

Marco Messeri legge Favole. 2.

Year : 2010

Results 2 of 23962

Comments

Write a comment

Send