Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

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

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

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
1 Offer Price Range: $44.99 - $44.99
BEST PRICE

Single Product Purchase

$44.99
@ Link.springer.com     BUY Now

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
Contact Store Call Store Contact Support
$44.99 $44.99

$44.99
See Site In stock Visit Store

Similar Products

Non-Monotonic Reasoning

$39.99

Capitalism and Democracy in the 21st Century

$169.99

Ella Enchanted- A Newbery Honor Award Winner by Gail Carson Levine

$9.99

Human Interface and the Management of Information. Information and Knowledge Design

$39.99

Applied Laser Tooling

$39.99

Dueck's Trilogie 2.0

$89.99

Illustrirtes Handels-Lexikon

$39.99

Management of Nitrogen and Phosphorus Fertilizers in Sub-Saharan Africa

$169.99

Cell Proliferation and Cytogenesis in the Mouse Hippocampus

$109.99

Die Polizei des Bundes in der rechtsstaatlichen pluralistischen Demokratie

$64.99

Bridges and Mediation in Higher Distance Education

$54.99

Hygiene in Krankenhaus und Praxis

$59.99

Advanced Control of Electrical Drives and Power Electronic Converters

$179.99

Flexible Fertigungssysteme

$59.99

Forging Connections between Computational Mathematics and Computational Geometry

$54.99

Innovation Nation

$109.99

Tricky Coaching

$84.99

Career Moves

$49.99

Kreditderivate und Kreditrisikomodelle

$39.99

Software Performability: From Concepts to Applications

$169.99

Grundgesetz und sozialer Wandel zum 30. Jahrestag der Verfassung der Bundesrepublik Deutschland

$59.99

Contributions to Modern Econometrics

$109.99

Worst of Friends

$5.21

Managing by the Bhagavad Gt

$54.99

Mehr Komplikationen in der Ansthesie

$59.99

If You Lived: If You Lived During the Civil War

$7.49

Finanz- und Versicherungsmathematik

$44.99

Service Opportunities for Electric Utilities: Creating Differentiated Products

$169.99

Chirurgisches Forum 81 fr experimentelle und klinische Forschung

$69.99

Advanced and Emerging Technologies for Resource Recovery from Wastes

$179.99

VM/CMS Virtuelle Maschinen

$29.99

Pension Policies and Public Debt in Dynamic CGE Models

$54.99

The Making of the Test Ban Treaty

$54.99

Rezeption des antiken Dramas auf der Bhne und in der Literatur

$39.99

Reconstructions of Gender and Information Technology

$32.99

Lokales Demokratie-Update

$44.99

Water-Energy-Nexus in the Ecological Transition

$129.99

Natural and Artificial Computation for Biomedicine and Neuroscience

$54.99

Design Methodology for Future Products

$119.99

A Variational Approach to Fracture and Other Inelastic Phenomena

$109.99