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 methods in safety critical systems : report / of the Public Affairs Board, Safety Critical Systems Committee, the Institution of Electrical Engineers.
Public affairs report ;
Public Affairs Board Report ;
Main Entry:
Institution of Electrical Engineers. Public Affairs Board.
Publisher:
Public Affairs Board, IEE,
Publication Date:
1991.
Publication Place:
[London] :
ISBN:
0852965184
Subject:
Formal methods (Computer science)
System safety.
Systems engineering.
Series:
Public affairs report ; no. 9 (June 1991)
Public Affairs Board Report ; no. 9.
Cover Image:
Results 1 - 1 of 1
Agency:
Collection:
Call No.:
Item Type:
Status:
Item Notes:
Barcode:
Media Type:
Yarmouk
General
TK7870 .F67 1991
Normal Circulation
Available
الكتاب موجود في الطابق الثالث
YU269813
Book