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

The Trajectory of Global Education Policy

$109.99

National Minorities in Serbian Academia

$129.99

Bone SPECT/CT of Ankle and Foot

$64.99

The Risks of Nuclear Energy Technology

$109.99

Zufallsprozesse in dynamischen Systemen

$54.99

Evolving OpenMP for Evolving Architectures

$54.99

The Flow of Organizational Culture

$139.99

Katherine Mansfield and the Art of the Short Story

$70.00

The SAGES Manual of Fluorescence-Guided Surgery

$129.99

Drugs Handbook 199394

$29.99

Regieren mit Mediation

$69.99

A Changing United Nations

$39.99

Q of the Earth: Global, Regional, and Laboratory Studies

$54.99

Viva and OSCE Exams in Ophthalmology

$119.99

A Theory of Objects

$249.99

History of Modern Biotechnology II

$39.99

Die Praxis der Kreditgewhrung

$49.99

Information and Self-Organization

$54.99

Inorganic Constituents in Soil

$59.99

Die Zukunft der Menschheit soll es uns weiter geben?

$17.99

AGREP

$54.99

Battle Dragons: City of Thieves

$5.99

Job Scheduling Strategies for Parallel Processing

$39.99

Semirings and Affine Equations over Them

$109.99

Film- und Fernsehanalyse

$24.99

konomische Instabilitt und staatliche Stabilisierung

$29.99

Reactors and Reactions

$84.99

Serial Crime Fiction

$39.99

Nordrhein-Westflische Akademie der Wissenschaften

$69.99

RGB-D Image Analysis and Processing

$189.00

Handbook of Prescriptive Treatments for Adults

$219.99

Percy Bysshe Shelley

$109.99

Decision Support Systems VI - Addressing Sustainability and Societal Challenges

$39.99

Attractivity and Bifurcation for Nonautonomous Dynamical Systems

$59.99

Theoretical Foundations of Artificial General Intelligence

$219.99

Recent Trends in Biotechnology and Therapeutic Applications of Medicinal Plants

$169.99

Food Culture Studies in India

$84.99

Introduction to the Representation Theory of Algebras

$34.99

Corporate Social Responsibility Reporting in China

$54.99

PRICAI 2023: Trends in Artificial Intelligence

$119.99