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

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
Informazioni
Lo trovi in

Categoria

Testo

Natura

Monografia

Titolo

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

Nomi

Kozen, Dexter C.
Clarke, Edmund

Descrizione

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

Descrizione Fisica

VI, 527 p. ; 25 cm

Numeri Standard

ISBN: 0387128964, New York
ISBN: 3540128964, Berlin

Data

1984

Luogo di pubblicazione

Berlin [etc.]

Paese

GERMANIA

Lingua

INGLESE

Fonte

Biblioteche SBN Sardegna

ID

IT\ICCU\AQ1\0019910

Link Risorse

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

Tag

Altre azioni

Immagini

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

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

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

Anno : 1990

Risultati 2 di 23816

Visualizza Tutti Visualizza Tutti

Testi

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

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

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

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

Anno : 1985

Risultati 2 di 2186126

Visualizza Tutti Visualizza Tutti

Video

2: Dexter. 4. : episodi 4-6

2: Dexter. 4. : episodi 4-6

Anno : 2011
2: Dexter. 5. : episodi 4-6

2: Dexter. 5. : episodi 4-6

Anno : 2012

Risultati 2 di 69509

Visualizza Tutti Visualizza Tutti

Audio

Live at Carnegie Hall

Live at Carnegie Hall

Autore : Gordon, Dexter

Anno : 1998
Live at Carnegie Hall

Live at Carnegie Hall

Autore : Gordon, Dexter

Anno : 1998

Risultati 2 di 24047

Visualizza Tutti Visualizza Tutti

Commenti

Carica altri

Scrivi un commento

Invia
Scrivi un commento