Copied Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems
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.
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
|
|
$84.99 | $84.99 |
|
$84.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Objektorientierte Software-Entwicklung am Beispiel von ET++
$59.99
Methoden der Unternehmensentwicklung
$59.99
Modelle und Modellierungsverfahren in der Fahrzeugdynamik
$39.99
Frost Friends Forever (Diary of an Ice Princess #2)
$4.49
Carbon Nanotubes: From Basic Research to Nanotechnology
$169.00
The Making of Dignity and Human Rights in the Western Tradition
$159.99
Claude Fleury (16401723) as an Educational Historiographer and Thinker
$84.99
Type-2 Fuzzy Logic: Theory and Applications
$109.99
Zwischen Industrieprovinz und Grostadthoffnung
$59.99
Interaktives Fernsehen
$69.99
50 Jahre IngenieurArbeit in Oberschlesien
$64.99
Processability of Polymeric Composites
$99.99
Behavior Genetics of Temperament and Personality
$159.99
Untersuchung des Betriebs- und Geruschverhaltens einer verstellbaren Axialkolbenpumpe mit Ventil-Vo
$84.99
Handbuch Mitarbeiterbefragung
$84.99
Transcranial Magnetic Stimulation
$249.99
Nonlinear Control Synthesis for Electrical Power Systems Using Controllable Series Capacitors
$39.99
Brief Lessons in Microbiology
$34.99
The European Diary of Hsieh Fucheng
$109.99
Citizenship and Belonging
$54.99
VLISP A Verified Implementation of Scheme
$129.00
Microbial Cyclic Di-Nucleotide Signaling
$219.99
Origin of Igneous Rocks
$109.99
The Foundations of Medieval Papal Legation
$99.00
Diagnosis and Management of Malignant Solid Tumors in Infants and Children
$129.00
Critical Infrastructure Protection XIII
$39.99
Ready-To-Go 100 Book Classroom Library: Favorites, Grade 2
$449.00
Health Care Computing
$39.99
Fuballgroveranstaltungen im Spannungsverhltnis zwischen Freiheit und Sicherheit
$119.00
Consumption and Vietnams New Middle Classes
$84.99
Immunoendocrinology: Scientific and Clinical Aspects
$169.00
Computational Intelligence for Knowledge-Based System Design
$109.99
Asthma bei Kindern
$54.99
ABC-TRIZ
$84.99
Cannonball
$5.96
Optics of Cosmic Dust
$54.99
bungsbuch zum Anti-Stress-Trainer fr Fernstudierende
$17.99
Die Volkskammer der DDR
$37.99
Fundamentals of Robotic Mechanical Systems
$139.99
Drogen haben kurze Beine
$24.99
