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

Dependable Software Engineering: Theories, Tools, and Applications

Dependable Software Engineering: Theories, Tools, and Applications

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

This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015. The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and 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

A Modern Course in Aeroelasticity

$219.00

Einsatzorganisationen

$159.99

Practical and Theoretical Aspects of Geological Interpretation of Gravitational, Magnetic and Electr

$169.99

Rechnernetze und Datenkommunikation

$54.99

New Directions in Time Series Analysis

$84.99

Basale Soziologie: Soziologie der Politik

$59.99

Compact Lie Groups

$39.99

The Importance of Animal Experimentation for Safety and Biomedical Research

$129.00

Frischoperiertenstation und Intensivpflege

$59.99

One Belt, One Road, One Story?

$109.00

Schmerzen verlernen

$24.99

Untersuchungen an Ribosomen

$59.99

Catalan Nationalism

$84.99

Leitfaden fr den Hebammenunterricht

$39.99

Multiple-Aspect Analysis of Semantic Trajectories

$59.99

Neural Information Processing

$109.99

Diversity of Managerial Ideology

$159.99

Acoustic Scanning Probe Microscopy

$84.99

Organizing Principles of Neural Development

$54.99

Environmental Security in Harbors and Coastal Areas

$249.99

Robust Simulation for Mega-Risks

$54.99

Positive Leisure Science

$109.99

Fermions and Anomalies in Quantum Field Theories

$99.00

Competition for the Mobile Internet

$84.99

Democracy in the Age of Globalization and Mediatization

$109.99

Advanced Microsystems for Automotive Applications 2001

$39.99

Introducing Cisco Unified Computing System

$54.99

Exit, Voice and Loyalty in Asia

$109.99

Die Verffentlichungen der sterreichischen Akademie der Wissenschaften Mathematisch-naturwissenscha

$54.99

Pursuing Excellence in Mathematics Education

$54.99

Molecular-Scale Electronics

$219.99

MARS Applications in Geotechnical Engineering Systems

$84.99

Micropolar Theory of Elasticity

$169.99

Investment in Thailand

$39.99

Fuzzy Rationality

$219.99

Air Pollution and Human Cancer

$129.00

Multiple Messengers and Challenges in Astroparticle Physics

$249.99

Induction, Physics and Ethics

$219.99

The Rise of Character Education in Britain

$59.99

Laser Spectroscopy

$84.99