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

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodo

Best Price (Coupon Required):
Buy Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodo for $54.00 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: $59.99 - $59.99
BEST PRICE

Single Product Purchase

$54.00
@ 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
$59.99 $59.99

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

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783031753879
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

Stchiometrie

Stchiometrie

$44.99
Advances in Molecular Genetics of Plant-Microbe Interactions

Advances in Molecular Genetics of Plant-Microbe Interactions

$169.00
Organizational Strategies for Work-Life Balance

Organizational Strategies for Work-Life Balance

$84.99
Database Theory - ICDT '97

Database Theory - ICDT '97

$39.99
Sure-Basen-Gleichgewicht des Menschen

Sure-Basen-Gleichgewicht des Menschen

$84.99
Hemolytic Anemia in Disorders of Red Cell Metabolism

Hemolytic Anemia in Disorders of Red Cell Metabolism

$39.99
Praxis des Brsengangs

Praxis des Brsengangs

$64.99
Mathematical Challenges For All

Mathematical Challenges For All

$199.99
Thwarting Death

Thwarting Death

$37.99
Betriebliches Umweltmanagement

Betriebliches Umweltmanagement

$59.99
ber den Krankheitsbegriff

ber den Krankheitsbegriff

$69.99
Paris Climate Agreement: A Deal for Better Compliance?

Paris Climate Agreement: A Deal for Better Compliance?

$39.99
Art and Anger

Art and Anger

$29.99
Laboratory Aspects of Infections

Laboratory Aspects of Infections

$39.99
Functional Structures in Networks

Functional Structures in Networks

$84.99
Assessing and Enhancing Student Experience in Higher Education

Assessing and Enhancing Student Experience in Higher Education

$129.99
Japanese Phrase Structure Grammar

Japanese Phrase Structure Grammar

$169.99
Modern Climate Change Science

Modern Climate Change Science

$69.99
Creativity and Innovation

Creativity and Innovation

$169.99
On the Uniqueness of Humankind

On the Uniqueness of Humankind

$54.99
The Essential Vygotsky

The Essential Vygotsky

$149.00
Preventive Biomechanics

Preventive Biomechanics

$89.00
Remembrance of the Great War in the Irish Free State, 19141937

Remembrance of the Great War in the Irish Free State, 19141937

$89.99
No Dogs Allowed!

No Dogs Allowed!

$5.96
Practical MATLAB

Practical MATLAB

$69.99
Cell-to-Cell Mapping

Cell-to-Cell Mapping

$109.99
Scalar and Vector Risk in the General Framework of Portfolio Theory

Scalar and Vector Risk in the General Framework of Portfolio Theory

$109.00
Ethical Prospects

Ethical Prospects

$109.99
Computational Methods for Biological Models

Computational Methods for Biological Models

$199.99
Group Rings and Class Groups

Group Rings and Class Groups

$54.99
Regenerative Properties of Central Monoamine Neurons

Regenerative Properties of Central Monoamine Neurons

$109.99
Das System Biokonomie

Das System Biokonomie

$99.99
Reliability of Radioactive Transfer Models

Reliability of Radioactive Transfer Models

$39.99
Human-Computer Interaction  INTERACT 2021

Human-Computer Interaction INTERACT 2021

$39.99
Euclidean Shortest Paths

Euclidean Shortest Paths

$179.99
Health Information Science

Health Information Science

$54.99
Inhaltsanalyse

Inhaltsanalyse

$59.99
Kostenschtzung Altbaumodernisierung

Kostenschtzung Altbaumodernisierung

$89.99
Growth, Disparities and Inclusive Development in India

Growth, Disparities and Inclusive Development in India

$69.99
Pseudomonas aeruginosa

Pseudomonas aeruginosa

$169.00
previous
next