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.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

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.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

B-Line Books
NS, Canada

Conditions de vente :

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.

Conditions de livraison :

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.

Modes de paiement
accept�s par le vendeur

Ch�que Mandat postal PayPal Virement bancaire

Ajouter aux demandes de livres

Articles li�s � Formal Techniques in Real-time and Fault-Tolerant Systems....

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

Vytopil, J. (ed.)

Neuf(s) - Couverture souple

Informations commerciales relatives au vendeur