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

Modeling Time in Computing

Modeling Time in Computing

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

Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering. After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that share finite state machines as common ancestors; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and dual-language approaches combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope. The book is aimed at graduate students and researchers in computer science, whileresearchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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
$39.99 $39.99

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Bacterial Secretion Systems

$219.00

Algae Abstracts

$109.99

Bauwerksabdichtung

$54.99

Erosion des Wachstumsparadigmas: Neue Konfliktstrukturen im politischen System der Bundesrepublik?

$69.95

Clean Fuels for Mobility

$199.99

Harnwegsinfektionen

$54.99

Nature-Inspired Optimization Algorithms with Java

$44.99

Leadership Performance and Rhetoric

$44.99

SAS Eine anwendungsorientierte Einfhrung

$69.99

The Rise of Autonomous Smart Cities

$49.99

Einsatzmglichkeiten fr Chemiefaser/Leinen-Mischungen in der Wirkerei

$44.99

Soil Water Deficit and Physiological Issues in Plants

$219.00

Housing East Asia

$54.99

Organizations

$159.99

A Contrastive Grammar of English and Dutch / Contrastieve grammatica Engels / Nederlands

$54.99

Software Composition

$54.99

Bringing Schools into the 21st Century

$109.99

London in Early Modern English Drama

$54.99

Statistical Methods for Plant Variety Evaluation

$169.00

Total Warfare and Compulsory Labor

$54.99

Love Is the Drug

$9.74

Ethical Issues in Pediatric Organ Transplantation

$109.99

Membrane Computing

$39.99

Skeletal Musculature in Larval Phases of the Beetle Epicauta Segmenta (Coleoptera, Meloidae)

$39.99

On the control of complex industrial organizations

$54.99

The Politics of Arms Control Treaty Ratification

$109.99

Literary Representations of Precarious Work, 1840 to the Present

$139.99

Restricted Kalman Filtering

$39.95

Intelligent Human Computer Interaction

$54.99

The Gypsies of Early Modern Spain

$89.00

Aggression und Gewalt von Kindern und Jugendlichen

$29.99

Metamorphosen des Kapitalismus - und seiner Kritik

$39.99

Software Visualization

$169.00

Politik in USA

$29.99

Human Trophoblast Neoplasms

$84.99

Die Literaturen des Baltikums

$69.99

Genetic Algorithms and Genetic Programming in Computational Finance

$259.00

American Jewish Year Book 2022

$249.99

Asbestos: Directory of Unpublished Studies

$219.99

Audience Participation in Theatre

$109.99