Tools

LEADER 01599cam 2200385 a 4500

001 ocm20490986;

005 20141212075133.0;

008 890929s1989 wb a b 100 0 eng ;

010 a| 89021947;

020 a| 0387518037 (U.S.: alk. paper) :c| $34.00;

035 a| (Sirsi) o20490986;

035 a| (OCoLC)20490986;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.9.S88b| T42 1989;

245 00 a| Temporal logic in specification :b| Altrincham, UK, April 8-10, 1987 : proceedings /c| B. Banieqbal, H. Barringer, A. Pnueli (eds.).;

300 a| vi, 448 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 398;

500 a| Based on papers presented at the Colloquium on Temporal Logic in Specification.;

504 a| Includes bibliographical references.;

650 0 a| System design.=| ^A123910;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

700 1 a| Banieqbal, B.q| (Behnam),d| 1960-=| ^A253225;

700 1 a| Barringer, Howard,d| 1951-=| ^A162124;

700 1 a| Pnueli, Amir,d| 1941-2009.=| ^A253226;

711 2 a| Colloquium on Temporal Logic in Specificationd| (1987 :c| Altrincham, England)=| ^A253227;

830 0 a| Lecture notes in computer sciencev| 398.=| ^A466336;

919 a| BOOK;

596 a| 1;

998 a| 359295;

999 a| QA76.9.S88 T42 1989w| LCc| 1i| 30372005501595d| 3/19/2013f| 3/19/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 8/27/1990x| BOOKz| JSTACKSo| .STAFF. 0;

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

Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1989.
Description	vi, 448 pages : illustrations ; 24 cm.
Subjects	System design. Logic, Symbolic and mathematical.

Other author/creator	Banieqbal, B. (Behnam), 1960-
Other author/creator	Barringer, Howard, 1951-
Other author/creator	Pnueli, Amir, 1941-2009.
Other author/creator	Colloquium on Temporal Logic in Specification (1987 : Altrincham, England)
Series	Lecture notes in computer science ; 398 Lecture notes in computer science 398. ^A466336
General note	Based on papers presented at the Colloquium on Temporal Logic in Specification.
Bibliography note	Includes bibliographical references.
LCCN	89021947
ISBN	0387518037 (U.S.: alk. paper) :

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.S88 T42 1989	✔ Available	Place Hold

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

Click here for more information about this title

Availability