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
9783319325811
Condition
New
Product Description

This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.

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

Dynamisches Segment-Management auf Hochtechnologiemrkten

$34.99

Numerical Exploration of Isolated GaAs-AlGaAs Quantum Well

$54.99

Diary of a Minecraft Wolf: Underwater Heist

$5.24

Highlights of Astronomy

$329.99

Modern Artificial Intelligence and Data Science 2024

$169.00

Stephen J. Gould: The Scientific Legacy

$169.00

Standards and Innovations in Information Technology and Communications

$39.99

Soviet-Egyptian Relations

$44.99

Analytical Modelling of Breakdown Effect in Graphene Nanoribbon Field Effect Transistor

$39.99

Jean Pauls "Komet"

$44.99

Data Analytics in System Engineering

$179.99

International Public Procurement

$119.00

Protein Engineering Techniques

$39.99

Elementare Algebraische Geometrie

$37.99

Steiner Trees in Industry

$219.99

Weak Links

$39.99

International Organizations and Lifelong Learning

$39.99

Low Carbon Urban Infrastructure Investment in Asian Cities

$54.99

The Complete Guide to Stress Management

$54.99

Entropy and the Second Law of Thermodynamics

$32.99

Serum/Plasma Proteomics

$199.99

Global Thoughts, Local Designs

$39.99

Actuarial Science

$109.99

Malignant Lymphomas: Biology and Treatment

$84.99

Fehlerfolgen im europischen Eigenverwaltungsrecht

$89.00

Evolution

$0.00

The DSSSL Book

$129.00

Classical Mechanics

$129.00

Immunotherapy of Renal Cell Carcinoma

$109.99

Sozialstaat als Kultur

$74.99

Ergebnisse der Chirurgie und Orthopdie

$59.99

Clinton/Gore

$54.99

Android Apps for Absolute Beginners

$29.99

Annuaire Europen Vol. Xii European Yearbook

$54.99

The Maritime Dimension of Sustainable Energy Security

$139.99

Angelo Zottoli, a Jesuit Missionary in China (1848 to 1902)

$109.99

Essentials of Interventional Techniques in Managing Chronic Pain

$189.00

Studien zur grundlegenden Krper- und Bewegungsbildung in Deutschland (Teil 1)

$89.99

Ultraschallfibel Innere Medizin

$44.99

Advances in Independent Component Analysis

$199.99