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

Model Checking Software

Model Checking Software

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

This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021. The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

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

Single Product Purchase

$39.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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Slag-Steel Reaction and Control of Inclusions in Al Deoxidized Special Steel

$84.99

The Palgrave Handbook on the Philosophy of Punishment

$219.99

The State Economic Handbook 2008 Edition

$39.99

Representations of Forgetting in Life Writing and Fiction

$99.99

Microbes for Sustainable Insect Pest Management

$129.00

Energy Economics

$99.99

The Power of Memory and Violence in Central America

$79.99

Arbeitsmarkt und Sozialpolitik

$39.99

Cleft Lip and Palate

$569.00

Spherical Inversion on SLn(R)

$109.99

Naturschutz

$44.99

Autonomous Vehicle Technology

$129.00

Self-Study of Practice as a Genre of Qualitative Research

$169.99

Medienherrschaft, Medienresistenz und Medienanarchie

$29.99

Congenital Adrenal Hyperplasia

$89.00

Rassismus an Schulen

$24.99

Understanding Cybersecurity Management in Healthcare

$69.99

Diagrammatic Representation and Inference

$69.99

Unternehmenszusammenschlsse und Organisation von Innovationen

$49.99

Rechnergesttzte Konstruktionsarbeit

$59.99

The Rise of Islamism in Egypt

$119.99

Bevlkerungslehre und Bevlkerungspolitik im Dritten Reich

$64.99

Expertensystem-Shell zur Untersttzung der simultanen Produktentwicklung

$44.99

Doing Modernity - Doing Religion

$44.99

Das Beratungsgeheimnis

$59.99

Productizing Quantum Computing

$49.99

Floods and Landslides: Integrated Risk Assessment

$39.99

Do Wave Functions Jump?

$159.99

Knowledge Sharing among Scientists

$109.99

Performing Media Activism in the Digital Age

$119.99

Rebel Friendships

$54.99

Yearbook on Space Policy 2017

$169.99

Produktionsplanung und -steuerung

$49.99

Arrow To The Sun

$6.50

Sustainable Energy

$159.99

Rookie Nursery Rhymes Collection: Ages 3-5 Years

$15.00

Brain and Heart Crosstalk

$159.99

Linear Algebra for Everyone

$39.99

Intelligent Information and Database Systems

$54.99

EU Sports Law and Breakaway Leagues in Football

$199.99