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: Formal methods fact file : VDM and Z / Andrew Harry.
Wiley series in software engineering practice
Main Entry: Harry, Andrew.
Publisher: Wiley,
Publication Date: 1996.
Publication Place: Chichester [England] ; New York :
ISBN: 0471940062 (cloth)
0471958573 (pbk)
Subject: Computer software -- Development.
Formal methods (Computer science)
Series: Wiley series in software engineering practice
Cover Image: http://images.amazon.com/images/P/0471940062 (cloth).jpg
http://images.amazon.com/images/P/0471958573 (pbk).jpg

Results 1 - 2 of 2
  Agency: Collection: Call No.: Item Type: Status: Barcode: Media Type:
Hashemite Main Library General 005.133 H323 Normal Circulation Available HU250218 Book
Hashemite Main Library General 005.133 H323 Normal Circulation Available HU250219 Book