Menü schließen
Autonome Region Sardiniens Autonome Region Sardiniens Autonome Region Sardiniens Autonome Region Sardiniens
Sardinienregion
Folge uns auf
Suchen Suche auf der Website

Sardinienregion

Andere Aktionen
Komm zurück Komm zurück

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

CAV <3. ; 1991

Computer aided verification : 3. international workshop, CAV '91
Information
Sie können es in finden

Kategorie

Testo

Natur

Monografia

Titel

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

Namen

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

Beschreibung

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

Physische Beschreibung

X, 487 p. ; 25 cm

Standardzahlen

ISBN: 0387551794, New York
ISBN: 3540551794, Berlin

Datum

c1992

Ort der Veröffentlichung

Berlin \etc.!

Dorf

GERMANIA

Zunge

INGLESE

Quelle

Biblioteche SBN Sardegna

ID

IT\ICCU\AQ1\0014554

Ressourcenverbindungen

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

Etikett

Andere Aktionen

Bilder

[Abwesender Titel]

[Abwesender Titel]

Autor : Zenith Data Systems <1979- 1996>

Jahr : 1991
No alla guerra

No alla guerra

Autor : Collettivo studenti medi "G. Galilei"

Jahr : 1991

Ergebnisse 2 von 24934

Alle ansehen Alle ansehen

Texte

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

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

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

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

Jahr : 1992

Ergebnisse 2 von 2185160

Alle ansehen Alle ansehen

Video

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

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

Autor : Miquel Lopez, Lourdes

Jahr : 1991
Troll Hunter

Troll Hunter

Jahr : 2011

Ergebnisse 2 von 69505

Alle ansehen Alle ansehen

Audio

3: L'arpa di Viggiano

3: L'arpa di Viggiano

Jahr : 1991
3: Ballet suites

3: Ballet suites

Autor : Stravinskij, Igorʹ Fëdorovi

Jahr : 1991

Ergebnisse 2 von 23995

Alle ansehen Alle ansehen

Kommentare

Andere laden

Schreibe einen Kommentar

Schicken
Schreibe einen Kommentar