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

Critical Systems: Formal Methods and Automated Verification

Critical Systems: Formal Methods and Automated Verification

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

This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016. The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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

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

Similar Products

The Lotterys: The Lotterys Plus One

$5.99

Die bedrohte Supermacht

$59.99

Current Trends in Dynamical Systems in Biology and Natural Sciences

$129.99

Multiband Dual-Function CMOS RFIC Filter-Switches

$39.99

Physiologisches Praktikum

$59.99

Ma- und Integrationstheorie

$39.99

Sustainable Smart Cities in India

$279.99

High Performance Computing for Drug Discovery and Biomedicine

$189.00

Fiber Concrete

$84.99

Algebra 3

$54.99

Engineered Cementitious Composites for Electrified Roadway in Megacities

$169.99

The Last of NASA's Original Pilot Astronauts

$54.99

Girolamo Cardano

$39.99

Islam Meinungsfreiheit Internet

$99.00

The Square of Opposition: A Cornerstone of Thought

$89.99

Religion and the Cold War

$18.66

Bildungstransfer im Unternehmenskontext

$59.99

Dysmenorrhea and Menorrhagia

$99.99

Divine Your Dinner: A Cookbook for Using Tarot as Your Guide to Magickal Meals by Courtney Mcbroom

$22.99

Regenerative Approaches in Dentistry

$179.99

The Role of Community Development in Reducing Extremism and Ethnic Conflict

$99.99

Physics of Biological Membranes

$299.99

The Moral Status of Technical Artefacts

$109.99

Service-Learning in Higher Education

$54.99

betrifft: TEAM

$44.99

Search and Optimization by Metaheuristics

$99.99

Human Resources Management

$44.99

REFAG 2014

$129.00

Schiefheilungen

$69.99

MR Cholangiopancreatography

$39.99

The Multinational Enterprise, EU Enlargement and Central Europe

$54.99

Media Economics in Austria

$64.99

Internationaler Vertrieb

$89.99

Current Developments in Psychopharmacology

$39.99

Brain Edema XI

$169.99

Algorithmen kompakt und verstndlich

$34.99

Atlas of Interstitial Cells of Cajal in the Gastrointestinal Tract

$169.99

My Weird School: Mr. Macky Is Wacky! (#15)

$3.71

Bulk Metallic Glasses

$169.99

Befhigung durch Strkung der Handlungskompetenz

$129.99