Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
  Our Catalog   Algorithms   Memory Management

Formal Techniques in Real-Time and Fault-Tolerant Systems (Lecture Notes in Computer Science, vol. 863)


Extreame Savings Item! Save 50% on the Formal Techniques in Real-Time and Fault-Tolerant Systems (Lecture Notes in Computer Science, vol. 863) by Springer at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly


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 Lübeck, 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.

Additional Information

Manufacturer:Springer
Publisher:Springer
Studio:Springer
EAN:9783540584681
Item Weight:2.46 pounds
Item Size:1.82 x 9.25 x 9.25 inches
Package Weight:1.85 pounds
Package Size:6.1 x 1.2 x 1.2 inches

Formal Techniques in Real-Time and Fault-Tolerant Systems (Lecture Notes in Computer Science, vol. 863) by Springer

Buy Now:
Formal Techniques in Real-Time and Fault-Tolerant Systems (Lecture Notes in Computer Science, vol. 863)

Brand: Springer
4.1 out of 5 stars with 49 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$179.00
$90.85
You Save: 49%


Quantity:  

 


View More In Memory Management.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


By Henry G Baker
ean: 9783540603689, isbn: 3540603689,
This book constitutes the refereed proceedings of the Second International Workshop on Memory Management, IWMM '95, held in Kinross, Scotland, in September 1995. It contains 17 full revised papers on all current aspects of memory management; among th...

By Brand: Springer
mpn: 44 black & white illustrations, 47 black, ean: 9783790811827, isbn: 354074441X,
This volume features the refereed proceedings of the 17th International Workshop on Power and Timing Modeling, Optimization and Simulation. Papers cover high level design, low power design techniques, low power analog circuits, statistical static tim...

By Brand: Springer
ean: 9783540855019, isbn: 3540855017,
This volume contains the papers presented at the 9th European Conference on Case-Based Reasoning (ECCBR 2008). Case-based reasoning (CBR) is an arti?cial intelligence approach whereby new problems are solved by remembering, adapting and reusing solut...

By Micheloni Rino Campardo Giovanni Olivo Piero
mpn: 196 black & white illustrations, 32 blac, ean: 9783642097935, isbn: 3642097936,
For the technological progress in communication technology it is necessary that the advanced studies in circuit and software design are accompanied with recent results of the technological research and physics in order to exceed its limitations. This...

By Brand: Springer
mpn: biography, ean: 9783642693540, isbn: 3642693547,
A major technological trend for large database systems has been the introduction of ever-larger mass storage systems. This allows computing centers and business data processing installations to maintain on line their program libraries, less frequentl...

By Brand: Springer
mpn: biography, ean: 9783642821523, isbn: 3642821529,
These are the proceedings of a NATO Advanced Study Institute (ASI) held in Cetraro, Italy during 6-17 June 1983. The title of the ASI was Computer Arehiteetures for SpatiaZZy vistributed Vata, and it brouqht together some 60 participants from Europe ...

By Douglis Fred Davison Brian D
mpn: biography, ean: 9789048166268, isbn: 9048166268,
Web caching and content delivery technologies provide the infrastructure on which systems are built for the scalable distribution of information. This proceedings of the eighth annual workshop, captures a cross-section of the latest issues and techni...

By Nedjah Nadia Macedo Mourelle Luiza
ean: 9789048173884, isbn: 9048173884,
This book is concerned with studying the co-design methodology in general, and how to determine the more suitable interface mechanism in a co-design system in particular. This is based on the characteristics of the application and those of the target...

By Jalabert Antoine Amara Amara Clermidy Fabien
ean: 9789048179268, isbn: 9048179262,
How to develop innovative architectures based on emerging molecular devices? The simple yet ambitious objective of Molecular Electronics Materials, Devices and Applications is to give the reader the necessary information to understand the challenges ...

By CRC Press
ean: 9789056990985, isbn: 9056990985,
This book focuses on the rapid progress in state-of-the-art dynamic random access memory (DRAM) technology as it has advanced from the Kilo-bit to the Giga-bit regime. Compiled by a panel of experts from the ULSI Process Technology Research and Devel...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.