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: Modern formal methods and applications / edited by Hossam A. Gabbar.
Main Entry: Gabbar, Hossam A.
Publisher: Springer,
Publication Date: c2006.
Publication Place: Dordrecht :
ISBN: 9789048170791(pbk.)
1402042221 (hbk. : acid-free paper)
140204223X (e-book)
9781402042225
9781402042232
Subject: Formal methods (Computer science)
Formal methods (Computer science) -- Industrial applications.
Cover Image: http://images.amazon.com/images/P/9781402042232.jpg
http://images.amazon.com/images/P/1402042221 (hbk. : acid-free paper).jpg
http://images.amazon.com/images/P/9781402042225.jpg
http://images.amazon.com/images/P/9789048170791(pbk.).jpg
http://images.amazon.com/images/P/140204223X (e-book).jpg

Results 1 - 1 of 1
  Agency: Collection: Call No.: Item Type: Status: Copy: Barcode: Media Type:
Hashemite Main Library General 005.131 M 689 Normal Circulation Available 1 HU280697 Book