Come Back

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

Information

You can find it in

Category

Testo

Nature

Monografia

Title

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

Names

Pnueli, Amir
Barringer, Howard
Banieqbal, Behnam

Dewey class

005.131 LINGUAGGI DI PROGRAMMAZIONE. LOGICA SIMBOLICA (MATEMATICA)

BNI subject

Logica matematica - Congressi
Linguaggi di programmazione - Congressi

Description

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

Physical description

VI, 448 p. ; 25 cm.

Standard numbers

ISBN: 0387518037, New York
ISBN: 3540518037, Berlin

Date

c1989

Place of publication

Berlin \etc.!

Village

GERMANIA

Tongue

INGLESE

Source

Biblioteche SBN Sardegna

IT\ICCU\UFI\0068498

Resources links

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

Comments

Load others

Write a comment

Send

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

Comments

Sardinia region

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

Comments