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: Practical formal methods with VDM / Derek Andrews and Darrel Ince.
Main Entry: Andrews, Derek.
Ince, D. (Darrel)
Publisher: McGraw-Hill,
Publication Date: c1991.
Publication Place: London ; New York :
ISBN: 0077072146 :
Subject: Computer software -- Development.
Formal methods (Computer science)
Cover Image: http://images.amazon.com/images/P/0077072146 :.jpg

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