Model-Based Requirements Engineering
by
Holt, Jon
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
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 247874-1001 | ONLINE | | Elektronik Kütüphane |