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

Adaptive Resource Management and Scheduling for Cloud Computing

Adaptive Resource Management and Scheduling for Cloud Computing

$34.99
Principles of Polymer Chemistry

Principles of Polymer Chemistry

$109.99
Methodologie, Methoden, Forschungsdesign

Methodologie, Methoden, Forschungsdesign

$37.99
The Economics of Casino Gambling

The Economics of Casino Gambling

$84.99
Automatic Detection of Verbal Deception

Automatic Detection of Verbal Deception

$37.99
Neues chemisches Grundpraktikum

Neues chemisches Grundpraktikum

$69.99
Organ-Selective Actions of Steroid Hormones

Organ-Selective Actions of Steroid Hormones

$54.99
Learning and Collaboration Technologies. Designing Learning Experiences

Learning and Collaboration Technologies. Designing Learning Experiences

$79.99
Nuclear Cardiology Study Guide

Nuclear Cardiology Study Guide

$79.99
Bio-Inspired Silicon-Based Materials

Bio-Inspired Silicon-Based Materials

$84.99
Counterclaims before the International Court of Justice

Counterclaims before the International Court of Justice

$109.99
Sprachentwicklung bei kindlichen Hrstrungen: Phonetik und Phonologie

Sprachentwicklung bei kindlichen Hrstrungen: Phonetik und Phonologie

$17.99
The Development of the Red Pulp in the Spleen

The Development of the Red Pulp in the Spleen

$54.99
Demography: An Introduction to Population Studies

Demography: An Introduction to Population Studies

$84.99
British Sociability in the European Enlightenment

British Sociability in the European Enlightenment

$89.00
Artificial Neural Networks and Machine Learning  ICANN 2024

Artificial Neural Networks and Machine Learning ICANN 2024

$59.99
Motion of a Drop in an Incompressible Fluid

Motion of a Drop in an Incompressible Fluid

$99.99
Topics in the Theory of Algebraic Function Fields

Topics in the Theory of Algebraic Function Fields

$129.99
Evaluation and Explanation in the Biomedical Sciences

Evaluation and Explanation in the Biomedical Sciences

$54.99
The Psychology of Driving on Rural Roads

The Psychology of Driving on Rural Roads

$39.99
Polyfluorinated Chemicals and Transformation Products

Polyfluorinated Chemicals and Transformation Products

$219.99
ACMSM25

ACMSM25

$329.99
Reaching Algebra Readiness (RAR)

Reaching Algebra Readiness (RAR)

$49.99
Selected Topics in Dynamics and Control of Chemical and Biological Processes

Selected Topics in Dynamics and Control of Chemical and Biological Processes

$109.99
Progress in Botany Vol. 80

Progress in Botany Vol. 80

$169.99
Simulation with Entropy in Engineering Thermodynamics

Simulation with Entropy in Engineering Thermodynamics

$109.99
The Making of the Banlieue

The Making of the Banlieue

$49.99
Fake News vs Media Studies

Fake News vs Media Studies

$32.99
Interferometrische Untersuchungen von Schaltlichtbgen in strmendem SF6

Interferometrische Untersuchungen von Schaltlichtbgen in strmendem SF6

$54.99
Integration and Peace in East Africa

Integration and Peace in East Africa

$109.99
Pie

Pie

$5.99
Robust Control of Linear Systems Subject to Uncertain Time-Varying Parameters

Robust Control of Linear Systems Subject to Uncertain Time-Varying Parameters

$109.99
Autophagy: Biology and Diseases

Autophagy: Biology and Diseases

$219.99
Love Is a Dog from Hell- Poems, 1974-1977 by Charles Bukowski

Love Is a Dog from Hell- Poems, 1974-1977 by Charles Bukowski

$18.99
Introduction to Matrix Analysis and Applications

Introduction to Matrix Analysis and Applications

$84.99
Energy Poverty, Practice, and Policy

Energy Poverty, Practice, and Policy

$59.99
Step Wise Protocols for Somatic Embryogenesis of Important Woody Plants

Step Wise Protocols for Somatic Embryogenesis of Important Woody Plants

$109.99
Wirbelstrme und Schirmung in der Nachrichtentechnik

Wirbelstrme und Schirmung in der Nachrichtentechnik

$249.99
Essential Aspects of Immunometabolism in Health and Disease

Essential Aspects of Immunometabolism in Health and Disease

$169.99
Basics der Existenzgrndung in der Kultur- und Kreativwirtschaft

Basics der Existenzgrndung in der Kultur- und Kreativwirtschaft

$17.99
previous
next