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

Lectures on Formal Methods and Performance Analysis

Lectures on Formal Methods and Performance Analysis

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

Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied by di?erent research communities. This has resulted in the development of successful, but distinct and largely unrelated modeling and analysis techniques for both domains. In many modern systems, however, the di?erence between their functional features and their performance properties has become blurred, as relevant functionalities become inextricably linked to performance aspects, e.g. isochronous data transfer for live video tra- mission. During the last decade, this trend has motivated an increased interest in c- bining insights and results from the ?eld of formal methods traditionally - cused on functionality with techniques for performance modeling and analysis. Prominent examples of this cross-fertilization are extensions of process algebra and Petri nets that allow for the automatic generation of performance models, the use of formal proof techniques to assess the correctness of randomized - gorithms, and extensions of model checking techniques to analyze performance requirements automatically. We believe that these developments markthe - ginning of a new paradigm for the modeling and analysis of systems in which qualitative and quantitative aspects are studied from an integrated perspective. We are convinced that the further worktowards the realization of this goal will be a growing source of inspiration and progress for both communities.

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

Characterizing Entanglement and Quantum Correlations Constrained by Symmetry

$109.99

Importance-Informed Reliability Engineering

$179.99

Policy Perspectives on Educational Testing

$39.99

Die Kunst of Phonons

$44.99

Die Interaktionsordnung von Personalfhrung

$59.99

High Performance Computing in the Geosciences

$109.99

Origin of Group Identity

$169.99

Politics And Literature In Eastern Europe

$44.99

China and the International Astronomical Union

$159.99

Presbyvertigo Presbyataxie Presbytinnitus

$69.99

Theory and Simulation in Physics for Materials Applications

$169.99

Tierexperimentelle Untersuchungen ber die Alkoholwirkungen auf Erregbarkeit und bioelektrische Spon

$59.99

Korea

$18.66

Stabilization, Safety, and Security of Distributed Systems

$59.99

How to Brand Nations, Cities and Destinations

$79.99

Development, Civil Society and Faith-Based Organizations

$109.99

Medical Histology

$39.99

A Disaggregate Freight Transport Model for Germany

$89.00

Die Neuordnung der Krankenanstaltsstatistik fr das Deutsche Reich

$59.99

Mammals and Birds as Bioindicators of Trace Element Contaminations in Terrestrial Environments

$219.99

Verbrechen als Bild der Zeit

$84.99

Dynamics of Entry and Market Evolution

$109.99

C als erste Programmiersprache

$29.99

Stereodirected Synthesis with Organoboranes

$39.99

Compact Stars in Binaries

$219.99

Understanding Campus-Community Partnerships in Conflict Zones

$109.99

Constitutional Futures Revisited

$54.99

Empirische Theorie der Unternehmensentwicklung

$59.99

Animal Cell Technology: Challenges for the 21st Century

$169.00

Cocktails, A Still Life: 60 Spirited Paintings & Recipes by Christine Sismondo

$24.00

Valuing the Environment: Methodological and Measurement Issues

$219.99

Human Behavior and Traffic Safety

$84.99

Ergodic Theory

$74.95

Intelligente Verfahren

$189.00

Politics, Religion, and Culture in an Anxious Age

$54.99

Neusiedlersee: The Limnology of a Shallow Lake in Central Europe

$84.99

Kurzwellentherapie

$59.99

Foundations of Constructive Mathematics

$109.00

To Live and to Die: When, Why, and How

$54.99

Psychology of Communication

$79.99