Imagen del editor

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

0 valoraciones por Goodreads
ISBN 10: 1586039768 / ISBN 13: 9781586039769
Editorial: IOS Press, 2009
Nuevos Condición: Brand New Encuadernación de tapa dura
Librería: Revaluation Books (Exeter, Reino Unido)

Librería en AbeBooks desde: 6 de enero de 2003

Cantidad: 1

Comprar nuevo
Precio recomendado: 174.00
Precio: EUR 189,74 Convertir moneda
Gastos de envío: EUR 6,83 De Reino Unido a Estados Unidos de America Destinos, gastos y plazos de envío
Añadir al carrito

Descripción

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

Hacer una pregunta a la librería

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

Acerca de

Sinopsis:

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.

IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields.

Some of the areas we publish in:

-Biomedicine
-Oncology
-Artificial intelligence
-Databases and information systems
-Maritime engineering
-Nanotechnology
-Geoengineering
-All aspects of physics
-E-governance
-E-commerce
-The knowledge economy
-Urban studies
-Arms control
-Understanding and responding to terrorism
-Medical informatics
-Computer Sciences

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

Descripción de la librería

Ver la página web de la librería

Condiciones de venta:

Legal entity name: Edward Bowditch Ltd
Legal entity form: Limited company
Business correspondence address: Exstowe, Exton, Exeter, EX3 0PP
Company registration number: 04916632
VAT registration: GB834241546
Authorised representative: Mr. E. Bowditch

Condiciones de envío:

Orders usually dispatched within two working days.

Todos los libros de esta librería

Métodos de pago
aceptados por la librería

Visa Mastercard American Express Carte Bleue