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 : 3. international workshop, CAV '91

CAV <3. ; 1991

Computer aided verification : 3. international workshop, CAV '91
Informazioni
Lo trovi in

Categoria

Testo

Natura

Monografia

Titolo

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

Nomi

Larsen, Kim G.
Skou, Arne
CAV <3. ; 1991

Descrizione

Computer aided verification : 3. international workshop, CAV '91 / K. G. Larsen, A. Skou (eds.)

Descrizione Fisica

X, 487 p. ; 25 cm

Numeri Standard

ISBN: 0387551794, New York
ISBN: 3540551794, Berlin

Data

c1992

Luogo di pubblicazione

Berlin \etc.!

Paese

GERMANIA

Lingua

INGLESE

Fonte

Biblioteche SBN Sardegna

ID

IT\ICCU\AQ1\0014554

Link Risorse

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

Tag

Altre azioni

Immagini

[Titolo assente]

[Titolo assente]

Autore : Zenith Data Systems <1979- 1996>

Anno : 1991
No alla guerra

No alla guerra

Autore : Collettivo studenti medi "G. Galilei"

Anno : 1991

Risultati 2 di 24934

Visualizza Tutti Visualizza Tutti

Testi

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

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

Anno : 1991
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 2185160

Visualizza Tutti Visualizza Tutti

Video

Bueno, bonito y barato 1 : 30 anuncios publicitarios en espanol

Bueno, bonito y barato 1 : 30 anuncios publicitarios en espanol

Autore : Miquel Lopez, Lourdes

Anno : 1991
Troll Hunter

Troll Hunter

Anno : 2011

Risultati 2 di 69505

Visualizza Tutti Visualizza Tutti

Audio

3: L'arpa di Viggiano

3: L'arpa di Viggiano

Anno : 1991
3: Ballet suites

3: Ballet suites

Autore : Stravinskij, Igorʹ Fëdorovi

Anno : 1991

Risultati 2 di 23995

Visualizza Tutti Visualizza Tutti

Commenti

Carica altri

Scrivi un commento

Invia
Scrivi un commento