Torna Indietro

Temporal logic in specification : Altrincham, UK, April 8-10, 1987

Informazioni

Lo trovi in

Categoria

Testo

Natura

Monografia

Titolo

Temporal logic in specification : Altrincham, UK, April 8-10, 1987

Nomi

Pnueli, Amir
Barringer, Howard
Banieqbal, Behnam

Classe Dewey

005.131 LINGUAGGI DI PROGRAMMAZIONE. LOGICA SIMBOLICA (MATEMATICA)

Soggetto BNI

Logica matematica - Congressi
Linguaggi di programmazione - Congressi

Descrizione

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 / B. Banieqbal, H. Barringer, A. Pnueli (eds.)

Descrizione Fisica

VI, 448 p. ; 25 cm.

Numeri Standard

ISBN: 0387518037, New York
ISBN: 3540518037, Berlin

Data

c1989

Luogo di pubblicazione

Berlin \etc.!

Paese

GERMANIA

Lingua

INGLESE

Fonte

Biblioteche SBN Sardegna

IT\ICCU\UFI\0068498

Link Risorse

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

Commenti

Carica altri

Scrivi un commento

Invia

Temporal logic in specification : Altrincham, UK, April 8-10, 1987

Tag

A l'occasion du 39. congres de la Federation anarchiste, le 10 juin

A l'occasion du 39. congres de la Federation anarchiste, le 10 juin

Logic programming '88 : proceedings of the 7. conference, Tokyo, Japan, April 11-14, 1988

Logic programming '87 : proceedings of the 6. Conference, Tokyo, Japan, June 22-24, 1987

Poveri ma belli

Terra madre

Eureka. Incontri con le scienze : n. 8

Sonate per pianoforte

Commenti

Regione Sardegna

Temporal logic in specification : Altrincham, UK, April 8-10, 1987

Tag

A l'occasion du 39. congres de la Federation anarchiste, le 10 juin

A l'occasion du 39. congres de la Federation anarchiste, le 10 juin

Logic programming '88 : proceedings of the 7. conference, Tokyo, Japan, April 11-14, 1988

Logic programming '87 : proceedings of the 6. Conference, Tokyo, Japan, June 22-24, 1987

Poveri ma belli

Terra madre

Eureka. Incontri con le scienze : n. 8

Sonate per pianoforte

Commenti