Welcome
Copyright © SirsiDynix. All rights reserved.
branding logo
Center Of Excellence for Jordanian Public University Library System (COE-JOPULS)
user_choices_background_image
Welcome
login container bottom
Jordanian Union Catalogue
360 Search
Search Libraries Catalogue
Duplicate Items
Add to My List

Print
Sorts and Limits

Title: Model checking / Edmund M. Clarke, Orna Grumberg, Doron A. Peled.
Main Entry: Clarke, E. M. 1945-
Grumberg, Orna
PELED, DORON A.
Publisher: The MIT Press,
Publication Date: 1999.
Publication Place: Cambridge:
ISBN: 0262032708 (hbk)
Subject: Computer systems -- Verification.
Cover Image: http://images.amazon.com/images/P/0262032708 (hbk).jpg

Results 1 - 1 of 1
  Agency: Collection: Call No.: Item Type: Status: Copy: Item Notes: Barcode: Media Type:
JUST Main Library General QA76.76 .V47 C553 1999 Normal Circulation Available 1 (الكتاب موجود في الطابق الثاني - الرف رقم208 ) ST108920 Book