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

Rigorous Methods for Software Construction and Analysis

Rigorous Methods for Software Construction and Analysis

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

This Festschrift volume, published in honor of Egon Brger, contains 14 papers from a Dagstuhl Seminar, which was organized as a "Festkolloquium" on the occasion of his 60th birthday in May 2006. Focusing on applied formal methods, the volume covers a wide range of applied research, spanning from theoretical and methodological foundations to practical applications of Abstract State Machines, B, and beyond, emphasizing universal methods and tools that, regardless of their applicational orientation, are still committed to the ideal of mathematical rigor. In particular, the papers address the following central topics: methodological foundations of requirements specification and verification, characterization of specification languages and their logical foundations, advanced tool environments and systematic integration of tools, machine assisted validation and verification, distributed algorithms and concurrent protocols, novel applications in public safety, security and privacy, industrial case studies and experience reports, and the role of formal methods in computer science education.

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

All Fall Down

$8.24

Automatic Modulation Recognition of Communication Signals

$219.99

School Leadership in the Context of Standards-Based Reform

$109.99

Economic Simulations in Swarm: Agent-Based Modelling and Object Oriented Programming

$129.00

Percy Bysshe Shelley

$109.99

Recent Trends in Computer Applications

$54.99

Bioethics and Moral Content: National Traditions of Health Care Morality

$169.99

Backup und Recovery in Datenbanksystemen

$39.99

Konflikte im Krankenhaus

$19.99

Formal Methods for Eternal Networked Software Systems

$39.99

Developments in Injection Moulding3

$39.99

Linguistic Ethnography

$54.99

Agreement Technologies

$169.99

Neural Networks in Telecommunications

$259.00

Global Bariatric Surgery

$169.99

Metal-Oxygen Clusters

$129.00

Developing Language and Literacy

$109.99

The Future of Liberal Democracy

$109.99

Critical Findings in Neuroradiology

$99.00

Program Construction

$54.99

In Vitro Diagnostic Industry in China

$89.00

Therapeutic Potentials of Curcumin for Alzheimer Disease

$169.99

Diabetic Nephropathy

$79.99

Kapitalmarktreaktionen auf Nennwertumstellungen

$59.99

Kunst im Aufbruch

$119.00

The Role of Mosque in Building Resilient Communities

$129.99

Geometric Procedures for Civil Engineers

$79.99

International Banking and Finance

$19.99

Targeted Regulatory Writing Techniques: Clinical Documents for Drugs and Biologics

$79.99

Social Studies of Science and Technology: Looking Back, Ahead

$169.99

Business Ethics and the Electronic Economy

$169.99

Coping with Drought Risk in Agriculture and Water Supply Systems

$109.99

Ocean Resources

$109.99

The Significance Test Controversy Revisited

$54.99

Arbeitslohn und Arbeitszeit in Europa und Amerika 18701909

$59.99

Therapie im Grenzgebiet von Psychiatrie und Neurologie

$69.99

My First I Can Read! - Fox the Tiger: Fox at Night

$4.46

Nonlinear Evolution Equations and Dynamical Systems

$39.99

Proceedings of the 2020 DigitalFUTURES

$59.99

Nibi Emosaawdang / The Water Walker

$7.46