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
9783540497929
Condition
New
Product Description

This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998. The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.

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

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Climates and Societies - A Climatological Perspective

$169.99

Restrukturierungen im Einzel- und im Konzernabschluss

$59.99

Democracy Promotion by Functional Cooperation

$39.99

Sicherheitsproduktion zwischen Staat, Markt und Zivilgesellschaft

$49.99

Z Transform Theory and Applications

$54.99

Coordination of Service Offshoring Subsidiaries in Multinational Corporations

$39.99

Pattern Recognition

$54.99

The Physical Geography of Brazil

$199.99

Action-Based Quality Management

$84.99

Cochlear Mechanisms: Structure, Function, and Models

$84.99

Flipped Classrooms for Legal Education

$64.99

Wastewater Treatment with Algae

$39.99

Precision Medicine in Gynecology and Obstetrics

$169.99

Parasitic Crustacea

$199.99

Advances in User Modeling

$54.99

Perception and Illusion

$84.99

Machine Learning and Intelligent Communication

$69.99

Datenbanken in verteilten Systemen

$69.95

Erfolgreich fhren im Ehrenamt

$34.99

The Cerebrospinal Fluid

$219.99

Deep Energy Retrofit

$119.99

Teaching and Learning in a Digital World

$449.99

Zeitgenssische Demokratietheorie

$37.99

Stalinism, Maoism, and Socialism in Higher Education

$119.00

Improvement of Crops in the Era of Climatic Changes

$129.00

Disability Incarcerated

$119.99

Abdominal Wall Surgery

$129.99

Leben neben der Wohlstandsgesellschaft

$64.99

Retail Therapy

$54.99

Blockchain ICBC 2021

$59.99

A Derivative-free Two Level Random Search Method for Unconstrained Optimization

$64.99

Rigorous State-Based Methods

$64.99

Umkmpfte Kunst

$59.99

Making Communism Hermeneutical

$84.99

Warriors Manga- SkyClan and the Stranger- 3 Full-Color Warriors Manga Books in 1 by Erin Hunter

$15.99

Geographic Information Science

$54.99

Elemente der Fnften Hauptgruppe

$44.99

China Stratigraphy, Paleogeography and Tectonics

$129.00

Constantin Carathodory

$99.99

Dependent Accumulation and Underdevelopment

$24.99