Jordanian Union Catalogue

360 Search

Search Libraries Catalogue

Simple
Advanced
Power
Community Resource
Search History
My List
My Account

Options

Refine

Start Over

Show details

Duplicate Items

Add to My List

Sorts and Limits

Sorts:

Title: Computer-aided reasoning : an approach / by Matt Kaufmann, Panagiotis Manolios, J Strother Moore.
Advances in formal methods ;
Main Entry: Kaufmann, Matt.
Manolios, Panagiotis, Jo. Author.
Moore, J Strother, 1947-, Jo. Author.
Publisher: Kluwer Academic Publishers,
Publication Date: 2000.
Publication Place: Boston :
ISBN: 0792377443 (alk. paper)
Subject: Formal methods (Computer science)
Sotware engineering.
Expert systems (Computer science)
Series: Advances in formal methods ; 3
Cover Image:

http://images.amazon.com/images/P/0792377443 (alk. paper).jpg

Agency:	Collection:	Call No.:	Item Type:	Status:	Copy:	Barcode:	Media Type:
JU Main Library	General	004.0151 K21	Normal Circulation	Available	1	JUF0541671	Book
Prince Al-huseein Bin Abdulah library	General	004.0151 kau	Normal Circulation	Available		AH1019674	Book
Prince Al-huseein Bin Abdulah library	General	004.0151 kau	Normal Circulation	Available		AH1019675	Book