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

Leveraging Applications of Formal Methods, Verification and Validation

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783030891589
Condition
New
Product Description

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends. The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems.

Available Colors
Available Sizes
1 Offer Price Range: $59.99 - $59.99
BEST PRICE

Single Product Purchase

$59.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
$59.99 $59.99

$59.99
See Site In stock Visit Store

Similar Products

British Domestic Synchronous Clocks 1930-1980

$109.99

Astrostatistical Challenges for the New Astronomy

$54.99

Understanding Mineral Deposits

$219.99

Proceedings of International Conference on Computational Intelligence and Computing

$219.99

Manifolds of Nonpositive Curvature

$89.00

Evidence Based Treatments for Trauma-Related Psychological Disorders

$89.00

ECSCW 2005

$169.99

Do Like Kyla

$5.24

Shot Clock (Hardcover)

$12.74

Ferdinand Graf von Zeppelin

$39.99

Multiple Criteria Analysis in Strategic Siting Problems

$109.99

Co-operative Banking Networks in Europe

$159.99

Controlling & Management Review Sonderheft 2-2015

$49.99

Die neue Psychologie der Zeit

$24.99

Transformative Learning Meets Bildung

$39.99

Foreign Aid in China

$39.99

Mangrove Dynamics and Management in North Brazil

$169.00

Localization and Confinement of Electrons in Semiconductors

$109.99

Consults in Obstetric Anesthesiology

$219.99

Compare & Contrast Grade 2 Differentiation Pack

$5.99

King and the Dragonflies (Scholastic Gold)

$6.74

Medien-Arbeit im Wandel

$44.99

Quantum Computation and Information

$189.00

Diskursive Konstruktionen

$49.99

Leukotrienes

$129.00

MDATA: A New Knowledge Representation Model

$84.99

Compilation and Synthesis for Embedded Reconfigurable Systems

$109.99

Continuous Software Engineering

$54.99

Hematology in the Adolescent Female

$159.99

Die therapeutische Haltung in ACT

$39.99

Topic Detection and Classification in Social Networks

$109.99

Proceedings of the Canadian Society for Civil Engineering Annual Conference 2023, Volume 9

$299.99

The Good and the Economical

$84.99

Analysis III

$109.99

Histologie und Mikroskopische Anatomie

$59.99

Verstorbenen-fokussierte Trauerbewltigung

$119.99

Making the Global Economy Work for Everyone

$29.99

Pottery Function

$109.99

The US Commitment to NATO in the Post-Cold War Period

$39.99

Kommunikation in Verteilten Systemen (KiVS) 2005

$129.00