Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Formal Techniques in Real-Time and Fault-Tolerant Systems

Formal Techniques in Real-Time and Fault-Tolerant Systems

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540466925
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$76.50
@ Link.springer.com with extra coupon Get Coupon & BUY

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

10% OFF
This deals requires coupon Get Code Here
$76.50
See Site In stock Visit Store

Similar Products

A Color Atlas of Hysteroscopy

$54.99

Pharmaceutical Regulatory Environment

$54.99

Inside Knowledge

$17.86

Die Antigene

$44.99

The Gardener by Sarah Stewart

$9.99

Participatory Democracy and Civil Society in the EU

$54.99

Measurement Issues in Criminology

$109.99

Gasification: Its Role in the Future Technological and Economic Development of the United Kingdom

$219.99

The First World War in Fiction

$49.99

Physics of Thermal Gaseous Nebulae

$169.99

Knowledge Management

$109.99

The Attribution of Blame

$109.00

Origin of Group Identity

$169.99

Solar Electromagnetic Radiation Study for Solar Cycle 22

$169.00

Pediatric Orthopedics in Practice

$219.99

Green Logistics

$17.99

Praktischer Korrosionsschutz

$84.99

Gender, Considered

$139.99

Bodendynamik

$54.99

Intelligent Decision and Policy Making Support Systems

$169.99

Quick Guide Agile Content-Produktion

$29.99

Number Patterns Grade 3 Differentiation Pack

$5.99

Polizeikultur

$74.99

Studies in the Sociology of Population

$109.00

The Three Slide Pitch Deck

$22.99

Whatever After: Once Upon a Frog (#8)

$5.24

Beimengungen und Verunreinigungen in Metallen

$59.99

Governing Post-Winter Olympic Games Legacies

$44.99

Medizinische Mikrobiologie und Infektiologie

$64.99

Mammal Phylogeny

$74.99

Die Soziologen und das Recht

$49.99

Demonstrationsexperimente gestalten

$34.99

Lebensqualitt-Atlas

$44.99

Numerical Methods and Software Tools in Industrial Mathematics

$54.99

Bodies of Work

$39.99

Vascular Tumors and Developmental Malformations

$39.99

Meta Medical Ethics

$54.99

Solving the Giving Pledge Bottleneck

$37.99

Hydrogen Materials Science and Chemistry of Carbon Nanomaterials

$259.00

Fallstudien zum Arbeitsrecht

$19.99