Engineering Methods and Tools for Software Safety and Security - Volume 22 NATO Science for Peace and Security Series - D: Information and Communication Security

M. Broy/ W. Sitou and T. Hoare

Editorial: IOS Press, 2009
ISBN 10: 1586039768 / ISBN 13: 9781586039769
Nuevos / Hardcover / Cantidad disponible: 0
Librería: Revaluation Books (Exeter, Reino Unido)
Disponible en otras librerías
Ver todos  los ejemplares de este libro

Sobre el libro

Lamentablemente este ejemplar en específico ya no está disponible. A continuación, le mostramos una lista de copias similares.

Descripción:

333 pages. 9.50x6.50x1.00 inches. In Stock. N° de ref. de la librería 1586039768

Sobre este título:

Reseña del editor: As a consequence of the wide distribution of software and software infrastructure, information security and safety depend on the quality and excellent understanding of its functioning. Only if this functionality is guaranteed as safe, customer and information are protected against adversarial attacks and malfunction. A vast proportion of information exchange is dominated by computer systems. Due to the fact that technical systems are more or less interfaced with software systems, most information exchange is closely related to software and computer systems. Information safety and security of software systems depend on the quality and excellent understanding of its functioning. The last few years have shown a renewed interest in formally specifying and verifying software and its role in engineering methods. Within the last decade, interactive program verifiers have been applied to control software and other critical applications. Software model checking has made strides into industrial applications and a number of research tools for bug detection have been built using automatic program-verification technology. Such solutions are high-level programming methods which provide strategies to ensure information security in complex software systems by automatically verified correctness. Based on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods. This book provides an in-depth presentation of state-of-the-art topics on how to meet such challenges covering both theoretical foundations and industrial practice.

"Sobre este título" puede pertenecer a otra edición de este libro.

Detalles bibliográficos

Título: Engineering Methods and Tools for Software ...
Editorial: IOS Press
Año de publicación: 2009
Encuadernación: Hardcover
Condición del libro: Brand New

Los mejores resultados en AbeBooks

1.

W. Sitou and T. Hoare, M. Broy, M. Broy (Editor), W. Sitou (Editor), T. Hoare (Editor)
Publicado por IOS Press (2009)
ISBN 10: 1586039768 ISBN 13: 9781586039769
Nuevo Tapa dura Cantidad disponible: 1
Librería
Ergodebooks
(RICHMOND, TX, Estados Unidos de America)
Valoración
[?]

Descripción IOS Press, 2009. Hardcover. Condición: New. Nº de ref. del artículo: DADAX1586039768

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 139,06
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,41
A Estados Unidos de America
Destinos, gastos y plazos de envío

2.

M. Broy; W. Sitou and T. Hoare
Publicado por IOS Press (2009)
ISBN 10: 1586039768 ISBN 13: 9781586039769
Nuevo Tapa dura Cantidad disponible: 1
Librería
Irish Booksellers
(Portland, ME, Estados Unidos de America)
Valoración
[?]

Descripción IOS Press, 2009. Condición: New. book. Nº de ref. del artículo: M1586039768

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 159,63
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

3.

W. Sitou and T. Hoare, M. Broy
Publicado por IOS Press (2009)
ISBN 10: 1586039768 ISBN 13: 9781586039769
Antiguo o usado Tapa dura Cantidad disponible: 1
Librería
HPB-Dallas
(Dallas, TX, Estados Unidos de America)
Valoración
[?]

Descripción IOS Press, 2009. Hardcover. Condición: Good. Item may show signs of shelf wear. Pages may include limited notes and highlighting. May include supplemental or companion materials if applicable. Access codes may or may not work. Connecting readers since 1972. Customer service is our top priority. Nº de ref. del artículo: mon0001270426

Más información sobre este vendedor | Contactar al vendedor

Comprar usado
EUR 185,64
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,41
A Estados Unidos de America
Destinos, gastos y plazos de envío

4.

M. Broy
Publicado por IOS Press (2009)
ISBN 10: 1586039768 ISBN 13: 9781586039769
Antiguo o usado Tapa dura Cantidad disponible: 1
Librería
Books Express
(Portsmouth, NH, Estados Unidos de America)
Valoración
[?]

Descripción IOS Press, 2009. Hardcover. Condición: Good. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May not contain Access Codes or Supplements. May be ex-library. Shipping & Handling by region. Buy with confidence, excellent customer service!. Nº de ref. del artículo: 1586039768

Más información sobre este vendedor | Contactar al vendedor

Comprar usado
EUR 305,22
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío