Formal Techniques in Real-time and Fault-Tolerant Systems. Lecture Notes in Computer Science No. 571

Vytopil, J. (ed.)

ISBN 10: 3540550925 ISBN 13: 9783540550921

Editorial: Springer-Verlag, New York, 1991

Idioma: Ingl�s

Condici�n: Nuevo Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por B-Line Books, Amherst, NS, Canada

Vendedor de AbeBooks desde 15 de abril de 2009

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Nuevos - Encuadernaci�n de tapa blanda

Condici�n: Nuevo

Precio: EUR 13,88 Convertir moneda

EUR 28,64 gastos de env�o desde Canada a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Still in publisher's shrinkwrap ; 620 pages.

N� de ref. del art�culo 2311

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Formal Techniques in Real-time and Fault-Tolerant Systems. Lecture Notes in Computer Science No. 571

Editor

Springer-Verlag, New York

Fecha de publicaci�n

1991

Idioma

Ingl�s

ISBN 10

3540550925

ISBN 13

9783540550921

Encuadernaci�n

Softcover

Edici�n

First Edition.

Estado

New

Cat�logos de vendedores

Acerca de

Sinopsis

This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and verification serves in relating theory to practical realities. The book contains papers on real-time and fault-tolerance issues. Formal logic, process algebra, and action/event models are applied: - to specify and model qualitative and quantitative real-time and fault-tolerant behavior, - to analyze timeliness requirements and consequences of faulthypotheses, - to verify protocols and program code, - to formulate formal frameworks for development of real-time and fault-tolerant systems, - to formulate semantics of languages. The integration and cross-fertilization of real-time and fault-tolerance issues have brought newinsights in recent years, and these are presented in this book.

Rese�a del editor

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

Descripci�n de la librer�a

Welcome to B-Line Books. Please search or browse our inventory of hard to find, out of print, used, and rare books. We have an inventory of over 22,000 listings with new stock being added continually. There is a large presence in many categories, including POETRY, HISTORY, LITERARY CRITICISM and FIRST EDITION FICTION, areas in which we have some experience, and other large categories, like ARCHITECTURE and ART, where we are mere laity. Photos available on request.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

B-Line Books
NS, Canada

Condiciones de venta y env�o

Condiciones de venta

We guarantee the condition of every book as it�s described on the Abebooks web sites. If you�re dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn�t arrived, you�re eligible for a refund within 30 days of the estimated delivery date. If you have changed your mind about a book that you have ordered, please use the Ask bookseller a question link to contact us and we�ll respond within 2 business days.

Derecho a cancelaci�n

Condiciones de env�o

Shipping costs are based on books weighing up to 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Tarifas de env�o de Canada a Espa�a

Tarifas de env�o de Canada a Espa�a
Cantidad del pedido	De 12 a 30 d�as h�biles	De 8 a 18 d�as h�biles
Primer art�culo	EUR 28.64	EUR 84.23

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.