Cover image for Model-Based Requirements Engineering
Title:
Model-Based Requirements Engineering
Author:
Holt, Jon
ISBN:
9781849194884
Publication Information:
Stevenage : IET, 2011.
Physical Description:
1 online resource (340 p.)
Series:
Professional Applications of Computing
Series Title:
Professional Applications of Computing
Subject Term:
Automatic theorem proving.

Computer software--Reliability.

Computer software--Verification.

Logic.

System analysis.

System safety.
Added Author:
Perry, Simon A

Brownsword, Mike
Electronic Access:
http://dx.doi.org/10.1049/PBPC009E
Holds:

Copies:

Library
Click to Sort
Material Type
Click to Sort
Item Barcode
Click to Sort
Shelf Number
Click to Sort
Status
Click to Sort
Item Holds
Click to Sort
Searching...
 E-Book 247874-1001 ONLINE
Searching...