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

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Best Price (Coupon Required):
Buy Leveraging Applications of Formal Methods, Verification and Validation. Application Areas for $40.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: $44.99 - $44.99
BEST PRICE

Single Product Purchase

$40.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
$44.99 $44.99

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

Product Details

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

Grundlagen der Kostenrechnung in programmierter Form

Grundlagen der Kostenrechnung in programmierter Form

$59.99
Guanidino Compounds in Biology and Medicine

Guanidino Compounds in Biology and Medicine

$169.99
The Shape of Future Technology

The Shape of Future Technology

$54.99
Ambient Assisted Living

Ambient Assisted Living

$129.00
Management of Political Risks

Management of Political Risks

$44.99
Protocols for In Vitro Propagation of Ornamental Plants

Protocols for In Vitro Propagation of Ornamental Plants

$89.00
EJB Reviews

EJB Reviews

$109.99
Biosimulation in Biomedical Research, Health Care and Drug Development

Biosimulation in Biomedical Research, Health Care and Drug Development

$169.99
Effizienztreiber innovativer Prozesse

Effizienztreiber innovativer Prozesse

$89.99
Das technische Eisen

Das technische Eisen

$59.99
Science and Technologies for Smart Cities

Science and Technologies for Smart Cities

$54.99
Chefsache Assistenz

Chefsache Assistenz

$39.99
Internet Protocols

Internet Protocols

$129.00
Elements of Nonlinear Analysis

Elements of Nonlinear Analysis

$54.99
Transnationale Konzerne

Transnationale Konzerne

$49.99
Singularities in Geometry, Topology, Foliations and Dynamics

Singularities in Geometry, Topology, Foliations and Dynamics

$149.00
Generalized Hypergeometric Functions with Applications in Statistics and Physical Sciences

Generalized Hypergeometric Functions with Applications in Statistics and Physical Sciences

$44.99
Theory and Practice in the Interdisciplinary Production and Reproduction of Scientific Knowledge

Theory and Practice in the Interdisciplinary Production and Reproduction of Scientific Knowledge

$129.99
Global denken, lokal handeln in der Informatik

Global denken, lokal handeln in der Informatik

$29.99
Fracture Mechanics of Metals, Composites, Welds, and Bolted Joints

Fracture Mechanics of Metals, Composites, Welds, and Bolted Joints

$129.00
The 3-Dimensional Atlas of the Marmoset Brain

The 3-Dimensional Atlas of the Marmoset Brain

$219.99
Dermatology in Public Health Environments

Dermatology in Public Health Environments

$269.00
Chemically Mediated Interactions between Plants and Other Organisms

Chemically Mediated Interactions between Plants and Other Organisms

$84.99
Grundlagen der Betriebswirtschaftslehre

Grundlagen der Betriebswirtschaftslehre

$84.99
Maritime Informatics

Maritime Informatics

$179.99
Joint Surgery in the Adult Patient with Hemophilia

Joint Surgery in the Adult Patient with Hemophilia

$84.99
Sensorische Anfallsdetektion bei Epilepsie

Sensorische Anfallsdetektion bei Epilepsie

$59.99
Psychosomatische Gynkologie und Geburtshilfe 1990/91

Psychosomatische Gynkologie und Geburtshilfe 1990/91

$69.99
Examination of the Back - An Introduction

Examination of the Back - An Introduction

$109.99
Hyperbolic Functional Differential Inequalities and Applications

Hyperbolic Functional Differential Inequalities and Applications

$109.99
Fracture Mechanics

Fracture Mechanics

$129.00
Welcome Books-Money Matters: Nickels

Welcome Books-Money Matters: Nickels

$4.46
Life Expectations of the People

Life Expectations of the People

$169.99
Schlsselfaktoren im E-Commerce

Schlsselfaktoren im E-Commerce

$17.99
Sample-Path Analysis of Queueing Systems

Sample-Path Analysis of Queueing Systems

$129.00
Regulation of Differentiation in Mammalian Nerve Cells

Regulation of Differentiation in Mammalian Nerve Cells

$39.99
Zirkulierende Wirbelschichten

Zirkulierende Wirbelschichten

$64.99
Software Engineering and Middleware

Software Engineering and Middleware

$39.99
Teamsport Management

Teamsport Management

$39.99
Narrative Order, 1789-1819

Narrative Order, 1789-1819

$54.99
previous
next