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

The name SPIN refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an annual forum for practitioners and researchersinterested in state space-based techniques for the validation and analysis of software and hardware systems, including communication protocols. It focuses on techniques based on explicit representations of state spaces, as implemented in the SPIN model checker or other tools, and techniques based on a combination of explicit representations with other representations. The SPIN model checker has proven to be particularly suited for the analysis of concurrent asynchronous systems. The workshop aims to encourage interaction and exchange of ideas with all related areas in software engineering. To promote interaction even further, many SPIN workshops have been held in conjunction with other meetings. The 13th International SPIN Workshop on Model Checking of Software was held in Vienna, Austria, co-located with the European Joint Conferences on Theory and Practice of Software (ETAPS) 2006. The earlier SPIN workshops were held in Montreal, Canada (1995); Rutgers University, USA (1996); Twente University, The Netherlands (1997); ENST, Paris, France (1998); Trento, Italy (1999); Toulouse, France (1999); Stanford University, USA (2000); Toronto, Canada (2001); Grenoble, France (2002); Portland, Oregon, USA (2003); Barcelona,Spain(2004);andSanFrancisco,USA(2005).Theproceedingsofthe Trento and Toulouse workshops were published together in Springers Lecture Notes in Computer Science volume 1680. From then on, each SPIN proceedings has been published as an individual LNCS volume.

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

Bounded Noises in Physics, Biology, and Engineering

$54.99

Emily Dickinson's Rich Conversation

$54.99

The Political Thought of the Conservative Party since 1945

$54.99

Former Leaders in Modern Democracies

$54.99

Metaverse METAVERSE 2023

$54.99

Kenneth Boulding

$84.99

Mela and the Elephant by Dow Phumiruk

$18.99

All Are Welcome by Alexandra Penfold

$17.99

Das infizierte Implantat

$69.99

Umweltbelastungen und ngste

$69.99

Handbook of Big Data Analytics and Forensics

$199.99

Redressing Institutional Abuse of Children

$84.99

Die Wow-Prsentation

$79.99

Broadband Array Processing

$169.99

Bow Wow

$6.74

Laser Technology in Chemistry

$54.99

Africa and the Formation of the New System of International RelationsVol. II

$139.00

Recent Advances in Musculoskeletal Oncology

$54.99

Multiple Sclerosis

$39.99

Medical Science and Research

$84.99

Introduction to Crowd Management

$139.99

Strafvollzug

$29.99

Advances in Psychology and Law

$109.99

Principles of Soil Conservation and Management

$379.99

Dialogmarketing Perspektiven 2022/2023

$69.99

Africa and the Novel

$54.99

Forced Displacement

$54.99

Regulationsprfung des Kreislaufs

$44.99

CO2 Free Ammonia as an Energy Carrier

$149.00

Einfhrung in die Soziologie der Behinderung

$19.99

Macroeconomic Survey Expectations

$79.99

Magnetic Properties of Paramagnetic Compounds

$549.99

Green Building in Developing Countries

$129.00

Periodic Feedback Stabilization for Linear Periodic Evolution Equations

$59.99

Foundation Joomla!

$24.99

Phospholipase A2

$54.99

Coping and Suicide amongst the Lads

$54.99

Living with Transformation

$54.99

Leading and Transforming Education Systems

$169.99

Growth, Distribution and Political Change

$54.99