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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Developments in Industrial Microbiology
$54.99
Lehrbuch der Ansthesiologie und Intensivmedizin
$54.99
Mitarbeiter-Placement
$69.99
Entwurfsprinzipien und Konstruktionskonzepte der Softwaretechnik
$24.99
Metasurface Holography
$19.99
Analysis and Synthesis of Distributed Real-Time Embedded Systems
$109.99
Fundamentals of Space Biology
$169.99
Wireless Optical Communication Systems
$84.99
Die anachronistische Souvernitt
$59.99
The Future-Ready Leader
$37.99
Archetypisches Storytelling in Videospielen
$17.99
Aizoaceae
$279.99
The Grand Ethiopian Renaissance Dam on the Blue Nile
$44.99
Sustainable Logistics
$169.99
Handicap: Lesen und Schreiben?
$29.99
Datenbanken fr CIM
$79.99
Pro WPF in VB 2010
$39.99
Interstellar Cinderella
$5.21
India and China
$109.99
Soziale Arbeit und Antiziganismus
$54.99
Dynamic Epistemic Logic
$109.99
Persuasion unter Komplexittsbedingungen
$64.99
Capital Returns
$69.99
Geoinformatics for Spatial-Infrastructure Development in Earth and Allied Sciences
$199.99
Untersuchungen ber die Sexualitt der Myxomyceten
$54.99
Practical Tips in Aortic Surgery
$54.99
Global Management
$54.99
New Organocatalytic Strategies for the Selective Synthesis of Centrally and Axially Chiral Molecules
$119.99
The Dynamic Interlanguage
$169.99
Joh. Karl Knigs Warenlexikon fr den Verkehr mit Drogen und Chemikalien
$74.99
Object-Oriented Database System
$54.99
Beschwerdeinformationen und Ihre Nutzung
$79.99
International Conference on Reliable Systems Engineering (ICoRSE) - 2024
$199.99
Dispersal, Individual Movement and Spatial Ecology
$54.99
Heidelberger Jahrbcher
$69.99
New Systems and Architectures for Automatic Speech Recognition and Synthesis
$84.99
Allgemeine Therapie der Hautkrankheiten
$59.99
Mathematische Strmungslehre
$74.99
On the Artistic Representation of Industrial Disputes in the Shadow of Repression in European Art
$159.99
Die Pilzkrankheiten der Haut durch Dermatophyten
$44.99
