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

Contested Energy Futures

$139.99

Scholastic EDGE Grade 1

$3,070.00

Kompendium Tracheotomie und Atemwege

$79.99

Application-Driven Architecture Synthesis

$129.00

Bahnhofsbilder

$54.99

Functional Equations and Inequalities

$84.99

Bernhard Riemann ber die Hypothesen, welche der Geometrie zu Grunde liegen

$19.99

Enterprise Information Systems

$109.99

Ermittlung von Werkstoff- sowie Fertigungskennzahlen fr die Konstruktion und Dimensionierung von sp

$69.99

Containing Germany

$84.99

All-Attainment Teaching in Secondary Mathematics

$139.99

Kleist-Jahrbuch 1993

$39.99

Haptic Interaction

$84.99

Die Stromversorgung von Fernmelde-Anlagen

$74.99

Workflow Management mit SAP WebFlow

$69.99

Grundri der Sinnesphysiologie

$54.99

Memory Management

$39.99

Unmanned Aerial Vehicle Applications over Cellular Networks for and Beyond

$139.99

Intel Trusted Execution Technology for Server Platforms

$39.99

Fernsehserienrezeption

$39.99

Characterizing Entanglement and Quantum Correlations Constrained by Symmetry

$109.99

Advances in Information Processing and Protection

$219.99

Cuentos Fonticos (Spanish Phonics Readers): La foto de Felipe

$3.71

Edmund Spenser

$109.99

Uni the Unicorn: Uni the Unicorn and the Dream Come True

$4.50

Heartstopper #1: A Graphic Novel (Hardcover)

$18.75

The Upperworld and the Underworld

$84.99

Gewerbeangelegenheiten

$59.99

Capitalism and the Equity Fetish

$109.00

Bau und Berechnung der Verbrennungskraftmaschinen

$49.99

Sustainable and Traditional Environmental Conservation in Asia

$159.99

Netzwerk als neues Paradigma?

$44.99

Amphetamin in der Klinischen Medizin

$64.99

Europe's New Fiscal Union

$84.99

Die Wasserbindung an Tonen und ihre Bedeutung fr die Festigkeit des Gieereiformsandes

$59.99

Meine Zahnarztpraxis - Marketing

$44.99

Fortschritte der Botanik

$59.99

Lehrerkooperation und die Effektivitt von Lehrerfortbildung

$49.99

Buchfhrung 2 DATEV-Kontenrahmen 2022

$19.99

Innovation up Close

$169.99