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: Systems and software verification : model-checking techniques and tools / B. B<U+00E9>rard ... [et al.].
Main Entry: Bâerard, Bâeatrice.
Publisher: Springer,
Publication Date: c2001.
Publication Place: Berlin ; New York :
ISBN: 3540415238 (alk. paper)
Subject: COMPUTER SYSTEMS -- VERIFICATION.
Computer software -- Verification.
Cover Image: http://images.amazon.com/images/P/3540415238 (alk. paper).jpg

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