Copied Dependable Software Engineering: Theories, Tools, and Applications
Dependable Software Engineering: Theories, Tools, and Applications
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.
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
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
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
