Welcome
Copyright © SirsiDynix. All rights reserved.
(Build horizon-8.0.1.5407)
Center Of Excellence for Jordanian Public University Library System (COE-JOPULS)
العربية (السعودية)
English (United States)
Log in
Help
Welcome
Jordanian Union Catalogue
360 Search
Search Libraries Catalogue
Simple
Advanced
Power
Community Resource
Search History
My List
My Account
Search
Options
Refine
Start Over
Show details
Hide details
Duplicate Items
Add to My List
Print
Sorts and Limits
Sorts:
None
Author
Publication Date
Publisher
Subject
Title
Title:
Formal specification and software development / Dines Bj²rner and Cliff B. Jones ; in collaboration with Derek Andrews ... [et al.].
Prentice Hall international series in computer science
Main Entry:
Bj²rner, D. (Dines), 1937-
Jones, C. B. (Cliff B.), 1944-
Publisher:
Prentice/Hall International,
Publication Date:
c1982.
Publication Place:
Englewood Cliffs, N.J. :
ISBN:
0133290034 :
9780133290035
Subject:
Computer software -- Development.
Programming languages (Electronic computers)
Software.
Programmation (Informatique)
Langages de programmation.
Series:
Prentice Hall international series in computer science
Cover Image:
Results 1 - 1 of 1
Agency:
Collection:
Call No.:
Item Type:
Status:
Copy:
Barcode:
Media Type:
Muta Main Library
General
004 BJO
Normal Circulation
Available
1
MU20017295
Book