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

The Political Economy of Indo-European Polytheism

$99.99

Metal Sites in Proteins and Models

$39.99

MATLAB Codes for Finite Element Analysis

$129.99

The World Copper Market

$54.99

The State Visits of Edward VII

$99.00

Being a Bee

$3.71

Politics in South Asia

$54.99

Surfaces in 4-Space

$139.99

The Politics of Private Security

$109.99

Polarization Optics of Random Media

$109.99

Logistikprozesse mit SAP

$44.99

Brokratiekosten kleiner und mittlerer Unternehmen

$59.99

Konnektivitt, Netzwerk und Fluss

$39.99

Corporate Financial Services in Wales 1989

$109.99

Das neue Hardselling

$34.99

Please Be Nice to Sharks

$5.21

Motion and Operation Planning of Robotic Systems

$169.99

The Coronavirus Crisis and Challenges to Social Development

$199.99

Cage-based Performance Capture

$84.99

The Ecosystem of Kongsfjorden, Svalbard

$199.99

International Workshop on Superconducting Nano-Electronics Devices

$109.99

From Local Champions To Global Masters

$39.99

KPB - Kompaktverfahren Psychische Belastung

$9.99

The Political Economy of Globalization

$169.99

Secular Solar and Geomagnetic Variations in the Last 10,000 Years

$219.99

Passing the USMLE

$54.99

The Invention of China in Early Modern England

$119.99

Strategic System Assurance and Business Analytics

$199.99

Practical Applications of Medical Geology

$249.99

Nostra Aetate, Non-Christian Religions, and Interfaith Relations

$99.99

Web Engineering

$109.99

Turbulent Shear Flows 8

$84.99

Vieweg Berufs- und Karriere-Planer: Mathematik 2001 - Schlsselqualifikation fr Technik, Wirtschaft

$54.99

Per Oral Endoscopic Myotomy (POEM)

$159.99

Soft Mechanochemical Synthesis

$84.99

Natural Disaster Risk Management

$119.99

Orthopedic Imaging

$84.99

Far-Right Populism and the Making of the Exclusionary Neoliberal State

$44.99

Gehirn und Verhalten

$59.99

Systems Practice: How to Act in a Climate Change World

$84.99