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

Routes to Cellulosic Ethanol

$129.00

Phnomenologische Modellierung der stationren und transienten Stickoxidemissionen am Dieselmotor

$64.99

Health Care Computing

$39.99

Community Economic Development in the United States

$139.99

Dance Theatre in Ireland

$54.99

Die Leute von Seldwyla

$64.99

Switching Machines

$54.99

Arthroscopic Laser Surgery

$39.99

Antiphilosophy of Christianity

$119.99

Corporate Manslaughter and Regulatory Reform

$109.99

Pituitary Disorders throughout the Life Cycle

$109.99

Charting Scottish Tourism and the Early Scenic Film

$54.99

The Postmodern Turn in the Social Sciences

$139.00

Regional and National Elections in Western Europe

$109.99

Atlas of Esophageal Surgery

$79.99

Die gescheiterte Zukunft der Ersten Republik

$44.99

The World of Programming Languages

$139.00

Technikleitbilder und Broarbeit

$69.99

Space and Terrestrial Biotechnology

$39.99

Europa - quo vadis?

$44.99

Scalias Constitution

$59.99

Kants Practical Philosophy Reconsidered

$169.99

Die Erkrankungen der Scheide

$59.99

Nuestra Amrica

$7.49

Regional Development Reconsidered

$109.99

Social Capability and Long-Term Economic Growth

$54.99

CONCUR 2007 - Concurrency Theory

$39.99

Forensic Neuropsychology

$109.99

Fluid Flow, Heat Transfer and Boiling in Micro-Channels

$169.99

Zur Theorie des schwingungsfreien Drehstromtransformators

$54.99

The Vernacular Matters of American Literature

$54.99

Organizational Science Abroad

$169.99

SharePoint 2010 as a Development Platform

$39.99

Disgorgement of Profits

$169.99

Kommunikation und organisatorischer Wandel

$49.99

Einstein's Relativity

$109.99

Advanced Information Systems Engineering

$84.99

Standards in Pancreatic Surgery

$159.99

Technology and Markets for Knowledge

$129.00

The Growth Behavior of Family Firms

$54.99