Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verificati

Best Price (Coupon Required):
Buy Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verificati for $58.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $64.99 - $64.99
BEST PRICE

Single Product Purchase

$58.50
@ Link.springer.com with extra coupon

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

10% OFF
This deals requires coupon
$58.50
See Site In stock Visit Store

Product Details

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

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Quantile Regression in Clinical Research

Quantile Regression in Clinical Research

$99.99
Galaktischer Atlas

Galaktischer Atlas

$54.99
Die unmittelbare Kranken-Untersuchung

Die unmittelbare Kranken-Untersuchung

$59.99
Verification and Validation in Systems Engineering

Verification and Validation in Systems Engineering

$139.99
Biosensing with Silicon

Biosensing with Silicon

$64.99
Mathematical Morphology and Its Applications to Image and Signal Processing

Mathematical Morphology and Its Applications to Image and Signal Processing

$169.00
The Human T-Cell Receptor Repertoire and Transplantation

The Human T-Cell Receptor Repertoire and Transplantation

$84.99
Geschftsmodellentwicklung fr Vermittler:innen

Geschftsmodellentwicklung fr Vermittler:innen

$17.99
Sex Hormones, Exercise and Women

Sex Hormones, Exercise and Women

$139.00
Intelligent Robotic Systems: Theory, Design and Applications

Intelligent Robotic Systems: Theory, Design and Applications

$169.99
Optimal Control of Random Sequences in Problems with Constraints

Optimal Control of Random Sequences in Problems with Constraints

$84.99
An Introduction to Multivariable Analysis from Vector to Manifold

An Introduction to Multivariable Analysis from Vector to Manifold

$89.99
Das Recht der Versicherungsvermittlung

Das Recht der Versicherungsvermittlung

$59.99
A Study of Brief Psychotherapy

A Study of Brief Psychotherapy

$39.99
Abfallwirtschaft. Gtertransportwirtschaft

Abfallwirtschaft. Gtertransportwirtschaft

$39.99
Solvomercuration / Demercuration Reactions in Organic Synthesis

Solvomercuration / Demercuration Reactions in Organic Synthesis

$109.99
Singen in Gemeinschaft als sthetische Kommunikation

Singen in Gemeinschaft als sthetische Kommunikation

$49.99
50 Schlsselideen Architektur

50 Schlsselideen Architektur

$24.99
Human Resource Design

Human Resource Design

$49.99
Quality in Higher   Education

Quality in Higher Education

$49.99
Organizations in the Face of Crisis

Organizations in the Face of Crisis

$54.99
Carl Benz Gottlieb Daimler Wilhelm Maybach

Carl Benz Gottlieb Daimler Wilhelm Maybach

$54.99
Latinx Literature Now

Latinx Literature Now

$49.99
The Brother-Sister Culture in Nineteenth-Century Literature

The Brother-Sister Culture in Nineteenth-Century Literature

$109.99
Professionalitt in der Frhpdagogik

Professionalitt in der Frhpdagogik

$49.99
Optoelectronics in Medicine

Optoelectronics in Medicine

$109.99
Technologies for E-Services

Technologies for E-Services

$54.99
Popular Media and Animals

Popular Media and Animals

$99.00
Russia's Invasion of Ukraine

Russia's Invasion of Ukraine

$139.99
Geburt ohne Angst

Geburt ohne Angst

$29.99
Biophysik des Fliegleichgewichts

Biophysik des Fliegleichgewichts

$74.99
Erziehungsberatung und Wandel der Familie

Erziehungsberatung und Wandel der Familie

$44.99
Human Capital and Economic Growth

Human Capital and Economic Growth

$119.00
System Sourcing - Erfolgspotenziale der Systembeschaffung

System Sourcing - Erfolgspotenziale der Systembeschaffung

$99.00
Das Bleichen von Pflanzenfasern mit Chlordioxyd

Das Bleichen von Pflanzenfasern mit Chlordioxyd

$54.99
Harry Potter and the Half-Blood Prince

Harry Potter and the Half-Blood Prince

$9.74
Thermodynamik

Thermodynamik

$29.99
Excited States in Organic Chemistry and Biochemistry

Excited States in Organic Chemistry and Biochemistry

$219.99
Tumor Virus-Host Cell Interaction

Tumor Virus-Host Cell Interaction

$109.99
Peak Load and Capacity Pricing

Peak Load and Capacity Pricing

$109.99
previous
next