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

Duration Calculus

Duration Calculus

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540408239
Condition
New
Product Description

Duration calculus constitutes a formal approach to the development of real-time systems; as an interval logic with special features for expressing and analyzing time durations of states in real-time systems, it allows for representing and formally reasoning about requirements and designs at an appropriate level of abstraction. This book presents the logical foundations of duration calculus in a coherent and thorough manner. Through selective case studies it explains how duration calculus can be applied to the formal specification and verification of real-time systems. The book also contains an extensive survey of the current research in this field. The material included in this book has been used for graduate and postgraduate courses, while it is also suitable for experienced researchers and professionals.

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

Brazilian Estuaries

$109.99

Multi-axis Substructure Testing System for Hybrid Simulation

$54.99

Implicit Partial Differential Equations

$54.99

Integral Transforms and Their Applications

$149.00

Dynamische Systeme in der kologie

$44.99

Exchanging Human Bodily Material: Rethinking Bodies and Markets

$169.99

A Microscopic Theory of Fission Dynamics Based on the Generator Coordinate Method

$69.99

Graph Theory

$84.99

Geisteswissenschaften

$59.99

Mediators of Inflammation

$39.99

Martin Kneser Collected Works

$169.00

Functional Renormalization and Ultracold Quantum Gases

$84.99

Produktionsfaktor Maschine

$59.99

Private Schulen

$49.99

Comprehensive Treatment of Knee Osteoarthritis

$99.00

Zur Rechtssoziologie Max Webers

$59.99

Why Math?

$54.99

Materials with Memory

$39.99

Weil Europa sich ndern muss

$34.99

Intelligent Optimization and Control of Complex Metallurgical Processes

$199.99

Thermal Expansion 7

$39.99

The Handbook of Financial Modeling

$64.99

Education, Participatory Action Research, and Social Change

$54.99

Polarographie und Voltammetrie

$89.00

Energie- und geopolitische Akteure im Sdkaukasus

$59.99

Trust and Organizations

$109.99

Handbuch Wahlforschung

$69.99

E-Mail-Marketing

$69.99

Ex-treme Identities and Transitions Out of Extraordinary Roles

$129.99

Argumentation in Multi-Agent Systems

$39.99

Das Soziale

$44.99

Psychologie und Heuristik

$59.99

Schooling in the Age of Austerity

$54.99

Fixateur externe Fixateur interne

$69.95

Poverty and Equity

$109.99

Analysis of Antibiotic/Drug Residues in Food Products of Animal Origin

$39.99

Geronimo Stilton: Graphic Novel: The Sewer Rat Stink (#1) (Hardcover)

$9.74

Cancer Biomarkers in Body Fluids

$169.99

Ziffy, der Zahlenzauberer

$34.99

Chaos in Astrophysics

$129.00