Artículos relacionados a High-Assurance Software Engineering Workshop (Hase...
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para High-Assurance Software Engineering Workshop (Hase...
Imagen de archivo
1996 IEEE Workshop on High-Assurance Software Engineering : HASE 96
Publicado por
I E E E Computer Society Press, Los Alamitos, CA, U.S.A., 1997
ISBN 10: 0818676299
ISBN 13: 9780818676291
Antiguo o usado
Soft cover
Librería: G3 Books, Winnipeg, MB, Canada
Calificación del vendedor: 5 de 5 estrellas
Soft cover. Condición: As New. Unread 287 Pages. Because of the size of this book, we can only ship to Canada or USA. n. Nº de ref. del artículo: 003611
Cantidad disponible: 1 disponibles