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

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

$39.99
See Site In stock Visit Store

Similar Products

Gandhis Autobiographical Construction of Selfhood

$49.99

DNA Barcoding in Marine Perspectives

$169.99

The Theory of International Trade

$169.99

New Trends in the Molecular and Biological Basis for Clinical Oncology

$109.99

Functional Molecular Silicon Compounds II

$219.99

Regional Climate Studies of China

$129.00

Superlinear Parabolic Problems

$89.00

Microbial Transposon Mutagenesis

$109.00

TopSpeed Modula-2 Units und Utilities

$59.99

Organization Design

$169.99

Consistency of Foodstuffs

$39.99

Art, Literature, and Passions of the Skies

$169.99

Unifying Themes in Complex Systems

$169.99

Fraktionsgeschlossenheit und Regierungssysteme

$54.99

Certified OpenStack Administrator Study Guide

$59.99

Die Kfer Mitteleuropas, Bd. L4: Polyphaga 3

$159.99

Poppleton in Summer: An Acorn Book (Poppleton #6)

$4.49

Managerial Issues in Finance and Banking

$109.99

Karen's Witch: A Graphic Novel (Baby-Sitters Little Sister #1) (Hardcover)

$17.24

Strategy of Development in Bangladesh

$54.99

Cyclic ADP-Ribose and NAADP

$169.99

Brgerdialoge in Zeiten der Krise

$59.99

Sampling With Unequal Probabilities

$54.99

Multiscale Problems in the Life Sciences

$39.99

Einfhrung in die Struktur der Materie

$49.99

Die langfristige Geburtenentwicklung in Deutschland

$59.99

Fully-Integrated Power Management Circuits for Thermoelectric Energy Harvesting

$54.99

Translanguaging as Everyday Practice

$199.99

PASCAL

$59.99

The Future of Private Equity

$54.99

Malignes Melanom

$44.99

Energy and Matter Fluxes of a Spruce Forest Ecosystem

$149.00

Microbially Induced Corrosion and its Mitigation

$49.99

Grundkurs JAVA

$39.99

Network Management in Wired and Wireless Networks

$169.99

Biogas Combustion Engines for Green Energy Generation

$54.99

Statistik und Excel

$64.99

International Handbook of Urban Education

$429.00

Distributed Computer and Communication Networks

$54.99

Coaching als mitmenschliche Begegnung

$59.99