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

Theory of Stein Spaces

Theory of Stein Spaces

$74.99
Some Aspects of Molecular Interactions in Dense Media

Some Aspects of Molecular Interactions in Dense Media

$39.99
Computer Science  CACIC 2021

Computer Science CACIC 2021

$89.99
Innovations in Smart Cities Applications Volume 7

Innovations in Smart Cities Applications Volume 7

$199.99
New Enzymes for Organic Synthesis

New Enzymes for Organic Synthesis

$39.99
Approximation Theory, Sequence Spaces and Applications

Approximation Theory, Sequence Spaces and Applications

$139.99
Class 3.2 Hydrolases VIII

Class 3.2 Hydrolases VIII

$329.99
Active Flow Control II

Active Flow Control II

$219.99
Implementation and Application of Automata

Implementation and Application of Automata

$39.99
Elliptic and Parabolic Equations

Elliptic and Parabolic Equations

$109.99
Molecular Aspects of Monooxygenases and Bioactivation of Toxic Compounds

Molecular Aspects of Monooxygenases and Bioactivation of Toxic Compounds

$39.99
Phenology: An Integrative Environmental Science

Phenology: An Integrative Environmental Science

$449.00
Laser Applications in Chemistry

Laser Applications in Chemistry

$39.99
Evidence-Based Practice in Clinical Social Work

Evidence-Based Practice in Clinical Social Work

$64.99
Mikroprozessoren in der Energiewirtschaft

Mikroprozessoren in der Energiewirtschaft

$59.99
Making Decisions About Liability And Insurance

Making Decisions About Liability And Insurance

$169.99
Entrepreneurial Ecosystems

Entrepreneurial Ecosystems

$139.00
Phytochemical Methods A Guide to Modern Techniques of Plant Analysis

Phytochemical Methods A Guide to Modern Techniques of Plant Analysis

$219.99
Eighties People

Eighties People

$54.99
Giant Intracranial Aneurysms

Giant Intracranial Aneurysms

$109.99
Amsterdam's Sephardic Merchants and the Atlantic Sugar Trade in the Seventeenth Century

Amsterdam's Sephardic Merchants and the Atlantic Sugar Trade in the Seventeenth Century

$89.00
Critical Perspectives on Masculinities and Relationalities

Critical Perspectives on Masculinities and Relationalities

$109.99
Solution Structure and Solution Dynamics in Chiral Ytterbium (III) Complexes

Solution Structure and Solution Dynamics in Chiral Ytterbium (III) Complexes

$24.95
Flexible Query Answering Systems

Flexible Query Answering Systems

$109.99
Spectra and Chemical Interactions

Spectra and Chemical Interactions

$39.99
Nationalism, Globalization, and Africa

Nationalism, Globalization, and Africa

$54.99
Frontiers in Optical Methods

Frontiers in Optical Methods

$109.99
Mathematics of Discrete Structures for Computer Science

Mathematics of Discrete Structures for Computer Science

$39.99
Trait Crate Plus: Grade 1

Trait Crate Plus: Grade 1

$175.00
Mit ICH-KULTUR  zum privaten und beruflichen Erfolg

Mit ICH-KULTUR zum privaten und beruflichen Erfolg

$9.99
Transmitting Minority Languages

Transmitting Minority Languages

$169.99
Grundlagen der Raffination eines einfachen Baustahles nach dem Elektro-Schlacke-Umschmelzverfahren

Grundlagen der Raffination eines einfachen Baustahles nach dem Elektro-Schlacke-Umschmelzverfahren

$84.99
Short Views on Insect Genomics and Proteomics

Short Views on Insect Genomics and Proteomics

$109.99
Auction Theory

Auction Theory

$119.99
Water Pollution and Water Quality Control of Selected Chinese Reservoir Basins

Water Pollution and Water Quality Control of Selected Chinese Reservoir Basins

$259.00
Mechanical Ventilation in Patient with Respiratory Failure

Mechanical Ventilation in Patient with Respiratory Failure

$109.99
Transnational Perspectives on Artists Lives

Transnational Perspectives on Artists Lives

$119.99
Handbuch Emotionsregulation

Handbuch Emotionsregulation

$64.99
Analysing the Structure of Economic Models

Analysing the Structure of Economic Models

$54.99
CyberForensics

CyberForensics

$89.00
previous
next