Copied Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems
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.
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
The Dunhuang Grottoes and Global Education
$109.99
Epistemology and Cognition
$169.99
Die Messung des Unternehmenserfolgs auf Basis einer kommunikationstheoretisch begrndeten Jahresabsc
$59.99
Cultural, Religious and Political Contestations
$54.99
Computation and the Humanities
$59.99
Utopias in Nonfiction Film
$139.99
International Conference on Intelligent Computing and Applications
$259.00
Latin Americas Pendular Politics
$139.99
Genetische Beratung
$69.99
The Paris Embassy
$54.99
The History of the Priority Dipute between Newton and Leibniz
$159.99
Planung der Fertigungstiefe
$84.99
Children and Materialities
$99.99
The Europeanization of Cyprus
$54.99
Consumers Spatial Choice Behavior
$39.99
Hyperspectral Image Analysis
$129.00
Rise And Fall Of The Soviet Rural Communist Party 1927-39
$34.99
Text Mining
$129.99
Complexity, Language, and Life: Mathematical Approaches
$54.99
Physiology of Membrane Disorders
$74.99
Encyclopaedia of the History of Science, Technology, and Medicine in Non-Westen Cultures
$74.99
A Little Closer to Home: How I Found the Calm After the Storm by Ginger Zee
$26.99
Computational Collective Intelligence. Technologies and Applications
$39.99
Britain And The Crimea 1855-56
$34.99
Community Engagement 2.0?: Dialogues on the Future of the Civic in the Disrupted University
$54.99
Das digitale Universum
$49.99
The Fuglede-Putnam Theory
$64.99
Learning to Diagnose with Simulations
$37.99
Umsatzsteuer
$44.99
Numerical Methods for Inverse Scattering Problems
$169.99
Comet of the Century
$49.99
Stage-Structured Populations
$39.99
Nationalism and Desire in Early Historical Fiction
$54.99
Two-Scale Approach to Oscillatory Singularly Perturbed Transport Equations
$39.99
Violence Against Older Women, Volume I
$119.99
Minimally Invasive Gynecological Surgery
$109.99
Modeling of Curves and Surfaces in CAD/CAM
$54.99
Applied Shakespeare
$109.99
Die Strafzumessung
$59.99
Supply Management Research
$44.99
