Follow us on

Search

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

CAV <3. ; 1991

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

Information

You can find it in

Category

Testo

Nature

Monografia

Title

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

Names

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

Description

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

Physical description

X, 487 p. ; 25 cm

Standard numbers

ISBN: 0387551794, New York
ISBN: 3540551794, Berlin

Date

c1992

Place of publication

Berlin \etc.!

Village

GERMANIA

Tongue

INGLESE

Source

Biblioteche SBN Sardegna

ID

IT\ICCU\AQ1\0014554

Resources links

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

Tag

Images

[Absent title]

[Absent title]

Author : Zenith Data Systems <1979- 1996>

Year : 1991

No alla guerra

No alla guerra

Author : Collettivo studenti medi "G. Galilei"

Year : 1991

Results 2 of 24934

Texts

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

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

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

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

Year : 1992

Results 2 of 2185160

Video

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

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

Author : Miquel Lopez, Lourdes

Year : 1991

Troll Hunter

Troll Hunter

Year : 2011

Results 2 of 69505

Audio

3: L'arpa di Viggiano

3: L'arpa di Viggiano

Year : 1991

3: Ballet suites

3: Ballet suites

Author : Stravinskij, Igorʹ Fëdorovi

Year : 1991

Results 2 of 23995

Comments

Write a comment

Send