Copied Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at Southwest University in Chongqing, China. The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six courses and two seminars on topics such as: modelling and verification in event-B; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive systems; parameterized unit testing; formal reasoning about infinite data values; and Alan Turing and his remarkable achievements. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.
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
Comparative Restorative Justice
$169.99
Holoscopy
$39.99
The Functional Treatment of Parsing
$109.99
Surgery of the Biliary Tract
$109.99
IUTAM Symposium on Scaling Laws in Ice Mechanics and Ice Dynamics
$329.99
Die Chemie der Cerebroside und Phosphatide
$69.99
Case-Based Diagnosis and Management of Headache Disorders
$129.99
Die Grreshandschriften
$49.99
Newtons Werk
$49.99
Asian Container Ports
$109.99
Zwischen Romantik und Restauration
$49.99
Soziologische Bildungsforschung
$49.99
Geschichte der Mathematik in ihren Kontexten
$14.99
Case Studies in Micromechatronics
$54.99
Erinnern, Schweigen und Sprechen nach sexueller Gewalt in der Kindheit
$69.99
Dielectric Properties of Polymers
$54.99
The Bone Biopsy
$54.99
The Power of Ideas
$8.16
Pattern Analysis and Understanding
$54.99
Leveraging Emotional and Artificial Intelligence for Organisational Performance
$129.00
Disaster Vulnerability, Hazards and Resilience
$109.99
Fourth-Grade Fuss
$4.46
Digital Decision Making
$39.99
Media Language on Islam and Muslims
$79.99
Weekly Reader: Summer Express (Between Grades 4 & 5) Workbook
$9.74
Smart Services
$179.99
Jews at Work
$169.99
Pragmatism and the Wide View of Democracy
$49.99
Die Auskunfts- und Frsorgestelle fr Lungenkranke, wie sie ist und wie sie sein soll
$54.99
Developments in Food Engineering
$84.99
Fundamentals of Optical Computing Technology
$139.00
Robust Sliding Mode Protocols for Formation of Quadcopter Swarm
$159.99
Interferon Alpha-2: Pre-Clinical and Clinical Evaluation
$109.99
Grundzge einer Flchen-Nomographie
$59.99
Advances in Mathematical Modelling, Applied Analysis and Computation
$229.00
Von der Mahnung bis zur Zwangsvollstreckung
$59.99
Luhmann modelliert
$64.99
Factor analysis applied to developed and developing countries
$54.99
Alternative Lithography
$129.00
DNA Barcodes
$179.99
