Copied Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems
This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996. The 22 revised full papers presented were selected from a total of 61 submissions; also included are three invited contributions and five tools demonstrations. The papers are organized in sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification.
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
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Vertical Seismic Profiling and Its Exploration Potential
$169.99
Universality in Statistical Physics and Synergetics
$74.99
Quantentheorie 1
$44.99
Fundamentals of Space Business and Economics
$64.99
City of Wishes (Legends of Lotus Island #3)
$7.46
Biology of the Vestfold Hills, Antarctica
$219.99
Handbook of Reinforcement Learning and Control
$249.99
Quantum Monte Carlo Methods in Equilibrium and Nonequilibrium Systems
$84.99
Diagnose und Behandlung von Herzrhythmusstrungen Neue Perspektiven
$49.99
Unternehmenstheater zur Untersttzung von Vernderungsprozessen
$79.99
The American Cockroach
$329.99
SAT-Based Scalable Formal Verification Solutions
$169.99
Advanced Symbolic Analysis for VLSI Systems
$129.00
The Power of Money
$84.99
Deutsche Rechtsprechung in vlkerrechtlichen Fragen
$69.99
Praktische Anwendung der Baugrunduntersuchungen bei Entwurf und Beurteilung von Erdbauten und Grndu
$59.99
Recent Advances in Celestial and Space Mechanics
$39.99
Discrete Probability Models and Methods
$119.99
Climate Change and Global Public Health
$179.99
The Establishment Responds
$54.99
Atlas of Pediatric Cutaneous Biodiversity
$84.99
The Mathematical Representation of Physical Reality
$59.99
Cuticle Techniques in Arthropods
$84.99
AE-Manual der Endoprothetik
$179.99
Educational Media and Technology Yearbook
$199.99
Advertising, Subjectivity and the Nineteenth-Century Novel
$54.99
Power Algebras over Semirings
$139.99
Membrane Protein Protocols
$129.00
Essentials of Autopsy Practice
$169.99
Alien Introgression in Wheat
$169.99
Robust Data Mining
$54.99
Lupus
$259.00
Geometrie der Allgemeinen Relativittstheorie
$44.99
Chemical Water and Wastewater Treatment VI
$84.99
Depressionsstationen/Stationre Depressionsbehandlung
$84.99
Pulmonary Immunotoxicology
$169.99
Vertragsfreiheit und Typengesetzlichkeit im Recht der Personengesellschaften
$59.99
Living in a Seasonal World
$219.99
Skin Diseases in the Immunocompromised
$169.99
Emotionen und pdagogische Professionalitt
$59.99
