1996 IEEE Workshop on High-Assurance Software Engineering: Hase 96
115.00
USD
Book Details
Author(s)
IEEE Computer Society, IEEE
ISBN / ASIN
0818676299
ISBN-13
9780818676291
Sales Rank
#13,267,549
Category
Computers
Marketplace
United States 🇺🇸
Ratings & Reviews
No reviews yet — be the first!
No reviews yet.
Description
This text explores high-assurance software design and development. It includes: specification and testing of high-assurance systems; quality and high assurance; concurrency and high-assurance; high-assurance execution environments; security; and reliability and high-assurance.
