Artículos relacionados a Rigorous Development of Complex Fault-Tolerant Systems:...

Rigorous Development of Complex Fault-Tolerant Systems: 4157 (Lecture Notes in Computer Science) - Tapa blanda

 
9783540482659: Rigorous Development of Complex Fault-Tolerant Systems: 4157 (Lecture Notes in Computer Science)

Sinopsis

This book brings together 19 papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems. It is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

This book brings together 19 papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems. It is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005.

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

Comprar usado

pp. 420
Ver este artículo

EUR 3,40 gastos de envío en Estados Unidos de America

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo

GRATIS gastos de envío en Estados Unidos de America

Destinos, gastos y plazos de envío

Otras ediciones populares con el mismo título

9783540832218: Rigorous Development of Complex Fault-Tolerant Systems

Edición Destacada

ISBN 10:  3540832211 ISBN 13:  9783540832218
Editorial: Springer, 2008
Tapa blanda

Resultados de la búsqueda para Rigorous Development of Complex Fault-Tolerant Systems:...

Imagen de archivo

0
Publicado por Springer, 2006
ISBN 10: 3540482652 ISBN 13: 9783540482659
Nuevo Tapa blanda

Librería: Basi6 International, Irving, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEOCT25-241182

Contactar al vendedor

Comprar nuevo

EUR 45,60
Convertir moneda
Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Butler, Michael
Publicado por Springer, 2006
ISBN 10: 3540482652 ISBN 13: 9783540482659
Nuevo Tapa blanda

Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABNR-90996

Contactar al vendedor

Comprar nuevo

EUR 45,60
Convertir moneda
Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Jones, Cliff (EDT); Romanovsky, Alexander (EDT); Troubitsyna, Elena (EDT)
Publicado por Springer, 2006
ISBN 10: 3540482652 ISBN 13: 9783540482659
Nuevo Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 6429896-n

Contactar al vendedor

Comprar nuevo

EUR 52,21
Convertir moneda
Gastos de envío: EUR 2,25
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Butler, Michael
Publicado por Springer, 2006
ISBN 10: 3540482652 ISBN 13: 9783540482659
Nuevo Tapa blanda

Librería: ALLBOOKS1, Direk, SA, Australia

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Nº de ref. del artículo: SHUB267662

Contactar al vendedor

Comprar nuevo

EUR 54,54
Convertir moneda
Gastos de envío: GRATIS
De Australia a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Butler, Michael
Publicado por Springer, 2006
ISBN 10: 3540482652 ISBN 13: 9783540482659
Nuevo Tapa blanda

Librería: Best Price, Torrance, CA, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. SUPER FAST SHIPPING. Nº de ref. del artículo: 9783540482659

Contactar al vendedor

Comprar nuevo

EUR 48,27
Convertir moneda
Gastos de envío: EUR 7,65
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

Butler, Michael
Publicado por Springer, 2006
ISBN 10: 3540482652 ISBN 13: 9783540482659
Nuevo Tapa blanda

Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020168183

Contactar al vendedor

Comprar nuevo

EUR 52,67
Convertir moneda
Gastos de envío: EUR 3,40
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Butler, Michael
Publicado por Springer, 2006
ISBN 10: 3540482652 ISBN 13: 9783540482659
Antiguo o usado Tapa blanda

Librería: Books Puddle, New York, NY, Estados Unidos de America

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Used. pp. 420. Nº de ref. del artículo: 26302259

Contactar al vendedor

Comprar usado

EUR 55,51
Convertir moneda
Gastos de envío: EUR 3,40
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Michael Butler
ISBN 10: 3540482652 ISBN 13: 9783540482659
Nuevo Paperback

Librería: Grand Eagle Retail, Mason, OH, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: new. Paperback. Many software systems have reached a level of complication, mainly because of their size, heterogeneity and distribution, which results in faults appearing that cannot be traced back easily to the code. Some of these "faults" could also be unexpected program behavior that appears as a result of interactions between different parts of the program; this is commonly known as complexity. New methods, approaches, tools and techniques are needed to cope with the increasing complexity in software systems; amongst them, fault-tolerance techniques and formal methods, supported by the corresponding tools, are promising solutions. This book brings together papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems.This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005. The authors of the best workshop papers were asked to enhance and expand their work and a number of well-established researchers working in the area contributed invited chapters. From the 19 refereed and revised papers presented, 12 are versions reworked from the workshop; 9 of them are totally new. The book is rounded off by two provocatively different position on the role of programming languages. Brings together 19 papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9783540482659

Contactar al vendedor

Comprar nuevo

EUR 61,44
Convertir moneda
Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Butler, Michael
Publicado por Springer, 2006
ISBN 10: 3540482652 ISBN 13: 9783540482659
Antiguo o usado Tapa blanda

Librería: Majestic Books, Hounslow, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Used. pp. 420 Illus. Nº de ref. del artículo: 7545708

Contactar al vendedor

Comprar usado

EUR 54,20
Convertir moneda
Gastos de envío: EUR 7,47
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Jones, Cliff (EDT); Romanovsky, Alexander (EDT); Troubitsyna, Elena (EDT)
Publicado por Springer, 2006
ISBN 10: 3540482652 ISBN 13: 9783540482659
Antiguo o usado Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 6429896

Contactar al vendedor

Comprar usado

EUR 60,99
Convertir moneda
Gastos de envío: EUR 2,25
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Existen otras 15 copia(s) de este libro

Ver todos los resultados de su búsqueda