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
C++: Object-Oriented Data Structures
View
Fundamentals of Logic Design
View
Articulating Design Decisions: Communicate with Stakeh…
View
Make: FPGAs: Turning Software into Hardware with Eight…
View
Robots and Biological Systems: Towards a New Bionics?:…
View
Modern Perl
View
Emerging Trends in Image Processing, Computer Vision a…
View
Autodesk 3ds Max 2012 Essentials
View