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

This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lbeck, Germany in September 1994. The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a systematic design of real-time, fault-tolerant, and hybrid systems, throughout the whole engineering process, from the capture of requirements through specification, design, coding and compilation, right down to the hardware that embeds the system into its environment.

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

Single Product Purchase

$84.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
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Evolutionary Computation in Combinatorial Optimization

$54.99

Scholastic True Or False: Storms

$3.71

The Palgrave Handbook of International Communication and Sustainable Development

$379.99

Artificial Intelligence in Design 98

$39.99

The Biggest Ever: The Biggest Valentine Ever

$4.49

Ultra Low Bit-Rate Speech Coding

$54.99

Europe and the Atlantic Relationship

$109.99

Radionuclide and Metal Sorption on Cement and Concrete

$109.99

GeNeDis 2020

$279.99

Praktische Rechtsflle

$59.99

Headhunter

$79.99

The Impact of Scale Near-IR Sky Surveys

$39.99

Allgemeine Versicherungslehre

$49.99

New Financing for Distressed Businesses in the Context of Business Restructuring Law

$139.99

Anwenderhandbuch HP-41 C/CV

$79.99

Teil I: Referate

$69.99

Ueber die Vortheile der Anwendung hoch erhitzter Luft fr die Verbrennung im Allgemeinen, sowie im B

$84.99

Farmer Will Allen and the Growing Table

$5.21

Parallel Processing and Applied Mathematics

$129.00

Aufgaben und Lsungen zur Elektronik und Kommunikationstechnik

$39.99

Advanced Environments, Tools, and Applications for Cluster Computing

$39.99

Linear Algebraic Groups

$89.95

Infrastructure Redux

$109.99

Markenmanagement mit System

$29.99

Restless Legs Syndrom

$44.99

Sustainability Science

$129.00

How Nature Works: Catching Air

$5.96

China's Technology Innovators

$79.99

AI Methods and Applications in 3D Technologies

$219.99

Digitale Bildverarbeitung

$89.99

Ein isothermes Mikrokalorimeter zur kinetischen Messung von Umwandlungs- und Ausscheidungsvorgngen

$59.99

RoboCup 2021: Robot World Cup XXIV

$84.99

Natural Product Experiments in Drug Discovery

$219.99

The Battle of the Frogs and Fairford's Flies

$45.00

Judgment Aggregation

$29.99

Writing to Learn Academic Words

$109.99

Decision-Making in Engineering Design

$129.00

Laugh-A-Lot Phonics: Long Vowels (Multiple-Copy Set)

$76.49

Investing in Resource Efficiency

$79.99

Regulatory T Cells in Inflammation

$169.00