Skip to:Content
|
Bottom
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:

Available:*

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

On Order

Go to:Top of Page