Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Model Checking Software

Best Price:
Buy Model Checking Software for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.

Set a price drop alert to never miss an offer.

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

$39.99
See Site In stock Visit Store

Product Details

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

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 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

Metal Matrix Composites

Metal Matrix Composites

$549.99
A Laboratory Guide to Biotin-Labeling in Biomolecule Analysis

A Laboratory Guide to Biotin-Labeling in Biomolecule Analysis

$39.99
Hands-on Question Answering Systems with BERT

Hands-on Question Answering Systems with BERT

$44.99
Parallel and Distributed Computational Intelligence

Parallel and Distributed Computational Intelligence

$169.99
Topological Fixed Point Principles for Boundary Value Problems

Topological Fixed Point Principles for Boundary Value Problems

$54.99
Computational Advances in Bio and Medical Sciences

Computational Advances in Bio and Medical Sciences

$54.99
Connectionist Approaches in Economics and Management Sciences

Connectionist Approaches in Economics and Management Sciences

$109.99
Erfolgsfaktor Agilitt

Erfolgsfaktor Agilitt

$44.99
Whole Slide Imaging

Whole Slide Imaging

$169.99
Der Pflichtteil des Reiches

Der Pflichtteil des Reiches

$59.99
Cell Reprogramming for Immunotherapy

Cell Reprogramming for Immunotherapy

$129.00
Lou Lou & Pea and the Mural Mystery

Lou Lou & Pea and the Mural Mystery

$6.71
Berichte aus dem -Club 2020

Berichte aus dem -Club 2020

$89.00
Governance, Domestic Change, and Social Policy in China

Governance, Domestic Change, and Social Policy in China

$54.99
Total Mayhem: Tuesday - The Curse of the Blue Spots

Total Mayhem: Tuesday - The Curse of the Blue Spots

$5.24
Policy Responses to the Interwar Economic Crisis

Policy Responses to the Interwar Economic Crisis

$119.99
Multi-Modal User Interactions in Controlled Environments

Multi-Modal User Interactions in Controlled Environments

$84.99
Advances in the Mechanics of Plates and Shells

Advances in the Mechanics of Plates and Shells

$74.99
Data and Applications Security and Privacy XXX

Data and Applications Security and Privacy XXX

$54.99
Modern Crystallography III

Modern Crystallography III

$169.99
Abwicklung von Blechkrpern

Abwicklung von Blechkrpern

$89.99
Chemical Vapour Deposition of Diamond for Dental Tools and Burs

Chemical Vapour Deposition of Diamond for Dental Tools and Burs

$39.99
The Synergy Theory on Economic Growth: Comparative Study Between China and Developed Countries

The Synergy Theory on Economic Growth: Comparative Study Between China and Developed Countries

$129.99
Foundations of Dependable Computing

Foundations of Dependable Computing

$169.99
Research and Advanced Technology for Digital Libraries

Research and Advanced Technology for Digital Libraries

$54.99
Leitfaden der allgemeinen Chirurgie

Leitfaden der allgemeinen Chirurgie

$59.99
Haut und Sinnesorgane

Haut und Sinnesorgane

$59.99
Sustainable Luxury and Craftsmanship

Sustainable Luxury and Craftsmanship

$129.99
Culturally Responsive Collection: Multicultural Edition Kindergarten (50 books)

Culturally Responsive Collection: Multicultural Edition Kindergarten (50 books)

$275.00
Autorschaft

Autorschaft

$119.99
Urheber- und Verlagsrecht

Urheber- und Verlagsrecht

$59.99
Digitales Pricing

Digitales Pricing

$34.99
Efficient Data Handling for Massive Internet of Medical Things

Efficient Data Handling for Massive Internet of Medical Things

$119.00
Sport Mega-Events in Emerging Economies

Sport Mega-Events in Emerging Economies

$39.99
Applying Soft Computing in Defining Spatial Relations

Applying Soft Computing in Defining Spatial Relations

$39.99
Complex Data Modeling and Computationally Intensive Statistical Methods

Complex Data Modeling and Computationally Intensive Statistical Methods

$39.99
Sexual Minorities and Mental Health

Sexual Minorities and Mental Health

$169.99
Perspectives on Clinical Teaching

Perspectives on Clinical Teaching

$54.99
Rechtliche Herausforderungen von Blockchain-Anwendungen

Rechtliche Herausforderungen von Blockchain-Anwendungen

$17.99
Fragile-X Syndrome

Fragile-X Syndrome

$179.99
previous
next