Welcome
Copyright © SirsiDynix. All rights reserved.
(Build horizon-8.0.1.5407)
Center Of Excellence for Jordanian Public University Library System (COE-JOPULS)
العربية (السعودية)
English (United States)
Log in
Help
Welcome
Jordanian Union Catalogue
360 Search
Search Libraries Catalogue
Simple
Advanced
Power
Community Resource
Search History
My List
My Account
Search
Options
Refine
Start Over
Show details
Hide details
Duplicate Items
Add to My List
Print
Sorts and Limits
Sorts:
Title
Title:
Temporal logic in specification: proceedings.../ [edited by] B. Banieqbal ; H. Barringer ; A. Pnueli.
Lecture notes in computer science;
Main Entry:
Colloquium On Temporal Logic In Specification (1987: Altrincham, Uk.
B. Banieqbal Editor.
H. Barringer Editor.
A. Pnueli Editor.
Publisher:
Springer-Verlag,
Publication Date:
1989.
Publication Place:
Berlin:
Subject:
System design -- Congresses.
Logic, Symbolic and mathematical -- Congresses.
Series:
Lecture notes in computer science; 398
Results 1 - 1 of 1
Agency:
Collection:
Call No.:
Item Type:
Status:
Copy:
Barcode:
Media Type:
JU_WEEDING HALL18
General
005.131 C714
Normal Circulation
Available
1
JUF0398154
Book