Follow us on

Search

Logics of programs : workshop, Carnegie Mellon university, Pittsburgh, PA, June 6-8, 1983

Logics of programs : workshop, Carnegie Mellon university, Pittsburgh, PA, June 6-8, 1983

Information

You can find it in

Category

Testo

Nature

Monografia

Title

Logics of programs : workshop, Carnegie Mellon university, Pittsburgh, PA, June 6-8, 1983

Names

Kozen, Dexter C.
Clarke, Edmund

Description

Logics of programs : workshop, Carnegie Mellon university, Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke and Dexter Kozen

Physical description

VI, 527 p. ; 25 cm

Standard numbers

ISBN: 0387128964, New York
ISBN: 3540128964, Berlin

Date

1984

Place of publication

Berlin [etc.]

Village

GERMANIA

Tongue

INGLESE

Source

Biblioteche SBN Sardegna

ID

IT\ICCU\AQ1\0019910

Resources links

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

Tag

Images

Xerrades internacionals anarcoindependentistes : 6, 7 i 8 de juliol La Plana, Catalunya

Xerrades internacionals anarcoindependentistes : 6, 7 i 8 de juliol La Plana, Catalunya

Year : 1990

6, 7, i 8 de juliol a La Plana : xerrades internacionals anarcoindependentistes

6, 7, i 8 de juliol a La Plana : xerrades internacionals anarcoindependentistes

Year : 1990

Results 2 of 23816

Texts

Logics of programs : workshop, Yorktown Heights, New York, May 1981

Logics of programs : workshop, Yorktown Heights, New York, May 1981

Year : 1982

Logics of programs : Brooklin, June 17-19, 1985

Logics of programs : Brooklin, June 17-19, 1985

Year : 1985

Results 2 of 2186126

Video

2: Dexter. 4. : episodi 4-6

2: Dexter. 4. : episodi 4-6

Year : 2011

2: Dexter. 5. : episodi 4-6

2: Dexter. 5. : episodi 4-6

Year : 2012

Results 2 of 69509

Audio

Live at Carnegie Hall

Live at Carnegie Hall

Author : Gordon, Dexter

Year : 1998

Live at Carnegie Hall

Live at Carnegie Hall

Author : Gordon, Dexter

Year : 1998

Results 2 of 24047

Comments

Write a comment

Send