Breaking News!
Up to 30% Off Nike Footwear

Model Checking Software

Best Price (Coupon Required):
Buy Model Checking Software for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

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

10% OFF
This deals requires coupon
$36.00
See Site In stock Visit Store

Product Details

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

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Performancemessung von Lebenszyklusfonds

Performancemessung von Lebenszyklusfonds

$59.99
Bundesrepublik Deutschland

Bundesrepublik Deutschland

$49.99
Christina Rossetti's Faithful Imagination

Christina Rossetti's Faithful Imagination

$39.99
Study of Electronic Properties of 122 Iron Pnictide Through Structural, Carrier-Doping, and Impurity

Study of Electronic Properties of 122 Iron Pnictide Through Structural, Carrier-Doping, and Impurity

$109.99
Instructor's Manual for Strategic Marketing Cases in Emerging Markets

Instructor's Manual for Strategic Marketing Cases in Emerging Markets

$39.99
Spannungsfeld Familienkindheit

Spannungsfeld Familienkindheit

$64.99
Materials Research and Applications

Materials Research and Applications

$119.00
Short Stay Management of Chest Pain

Short Stay Management of Chest Pain

$169.00
OP-Lagerungen in der Unfallchirurgie und Orthopdie

OP-Lagerungen in der Unfallchirurgie und Orthopdie

$69.99
Non-Linear Variability in Geophysics

Non-Linear Variability in Geophysics

$109.99
The Rise and Fall of the Fifth Force

The Rise and Fall of the Fifth Force

$39.99
50th Anniversary of Electron Counting Paradigms for Polyhedral Molecules

50th Anniversary of Electron Counting Paradigms for Polyhedral Molecules

$329.99
Complex and Adaptive Dynamical Systems

Complex and Adaptive Dynamical Systems

$54.99
Military Social Work Around the Globe

Military Social Work Around the Globe

$109.99
Gegen den Strom!

Gegen den Strom!

$44.99
Comparative Physiology of Fasting, Starvation, and Food Limitation

Comparative Physiology of Fasting, Starvation, and Food Limitation

$169.00
Ubiquitin Family Modifiers and the Proteasome

Ubiquitin Family Modifiers and the Proteasome

$139.00
Direct Digital Control for Building HVAC Systems

Direct Digital Control for Building HVAC Systems

$139.00
Infectious Diseases and Arthropods

Infectious Diseases and Arthropods

$129.00
Die Monte-Carlo-Methode

Die Monte-Carlo-Methode

$17.99
Conceptual Challenges in Evolutionary Psychology

Conceptual Challenges in Evolutionary Psychology

$84.99
Indian Geotechnical Conference 2019

Indian Geotechnical Conference 2019

$229.00
Planung der Kinematik von Industrierobotersystemen zum Schutzgasschweien im Schiffbau

Planung der Kinematik von Industrierobotersystemen zum Schutzgasschweien im Schiffbau

$69.99
Handbook of Practical Fine Needle Aspiration and Tissue Biopsies

Handbook of Practical Fine Needle Aspiration and Tissue Biopsies

$99.00
Grundbesitzverhltnisse in Historischen Stadtkernen und ihr Einfluss auf die Stadterneuerung

Grundbesitzverhltnisse in Historischen Stadtkernen und ihr Einfluss auf die Stadterneuerung

$59.99
Nonlinear Dynamics and Chaotic Phenomena

Nonlinear Dynamics and Chaotic Phenomena

$109.99
Konfigurierbare Robotersteuerung mit allgemeiner Transformation

Konfigurierbare Robotersteuerung mit allgemeiner Transformation

$59.99
Getting StartED with Dojo

Getting StartED with Dojo

$39.99
Forecasting Oracle Performance

Forecasting Oracle Performance

$39.99
Couple Relationships in the 21st Century

Couple Relationships in the 21st Century

$29.99
Genetic Control of Neuronal Migrations in Human Cortical Development

Genetic Control of Neuronal Migrations in Human Cortical Development

$84.99
Formal Methods for Open Object-based Distributed Systems

Formal Methods for Open Object-based Distributed Systems

$219.99
Inflammatory Bowel Diseases

Inflammatory Bowel Diseases

$39.99
Abschied vom Eis

Abschied vom Eis

$19.99
Elementare Logik

Elementare Logik

$49.99
Communicating Climate Change

Communicating Climate Change

$119.99
Modern Head and Neck Imaging

Modern Head and Neck Imaging

$109.99
Microorganisms for Green Revolution

Microorganisms for Green Revolution

$169.00
Rationis Defensor

Rationis Defensor

$84.99
Perspectives on Ecological Integrity

Perspectives on Ecological Integrity

$84.99
previous
next