1996 IEEE Workshop on High-Assurance Software Engineering: Hase 96
📄 Viewing lite version
Full site ›
Book Details
Author(s)IEEE Computer Society, IEEE
ISBN / ASIN0818676299
ISBN-139780818676291
Sales Rank13,267,549
CategoryComputers
MarketplaceUnited States 🇺🇸
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.
More Books in Computers
The Good Web Site Guide 2006: The Completely Revised, …
View
The Pentium Microprocessor
View
Advanced Intel Microprocessors: 80286, 80386, And 80486
View
Differential Equations: Matrices and Models
View
Digital Experiments: Emphasizing Troubleshooting (Merr…
View
Data Structures for Computer Information Systems
View
The Little LISPer, Third Edition
View
Inside Networks
View
Computer Graphics Using Open GL (2nd Edition)
View