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. Practice

Leveraging Applications of Formal Methods, Verification and Validation. Practice

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

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.

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

Single Product Purchase

$49.50
@ Link.springer.com with extra coupon Get Coupon & BUY

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
$54.99 $54.99

10% OFF
This deals requires coupon Get Code Here
$49.50
See Site In stock Visit Store

Similar Products

The Logic of Social Control

$109.99

Alltagspraktiken in Kindertageseinrichtungen

$59.99

Business Intelligence

$54.99

Photoprocesses in Transition Metal Complexes, Biosystems and Other Molecules. Experiment and Theory

$39.99

Innovative Technological Materials

$84.99

Formal Languages and Compilation

$99.99

Aktienkursorientierte Vergtungssysteme fr Fhrungskrfte

$99.00

The Impact of Processing Techniques on Communications

$39.99

Tests and Proofs

$39.99

Die Wissensordnung

$59.99

Unifying Themes in Complex Systems

$169.99

Einfhrung in die Topologische Datenanalyse

$29.99

Fhrungsgrundstze und Mitarbeiterfhrung

$39.99

Introducing SQLite for Mobile Developers

$19.99

The Ethics of Proportionate Punishment

$159.99

Frieden als Form

$59.99

Die Lepra

$69.99

Personalmanagement 2001

$39.99

Molecular Staging of Cancer

$39.99

Rechnungslegung fr Banken nach IFRS

$79.99

Opposition in the GDR under Honecker, 197185

$59.99

Bonding in Microsystem Technology

$169.99

The State and Healthcare

$54.99

Benefits Realization from Information Technology

$109.99

Subject/Verb Agreement Grade 3 Differentiation Pack

$5.99

Making Respectable Women

$64.99

Imperialism

$74.99

Early Indicators Early Treatments Neuroprotection in Multiple Sclerosis

$109.99

Das Mrchen und die Phantasie des Kindes

$59.99

Nonabelian Jacobian of Projective Surfaces

$39.99

Finite Dimensional Algebras and Related Topics

$219.99

Edge Computing: A Primer

$59.99

Metals in Bone

$39.99

Traffic Data Collection and its Standardization

$84.99

Phylogenetische Systematik

$39.99

Welt im Widerspruch

$109.99

Reading Unbound (10-copy pack)

$172.40

Rekrutierung in einer zukunftsorientierten Arbeitswelt

$39.99

Der Bacillus pyocyaneus im Ohr

$59.99

Psychodermatology in Clinical Practice

$84.99