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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Jewish Medicine and Healthcare in Central Eastern Europe
$139.99
Notes on Geometry and Arithmetic
$39.99
Intelligent Systems and Pattern Recognition
$79.99
Partnerships in Education
$169.99
Global Value Chains, Flexibility and Sustainability
$169.99
Active Close Binaries
$39.99
Emotionale Kompetenz im Lehrberuf
$39.99
Word 5.5
$59.99
Computer Safety, Reliability, and Security
$39.99
Essential Linux fast
$54.99
Measurement of Risks
$54.99
Multiple Problem Youth
$109.99
Informatik 2000
$82.00
The Motivational Impact of Nicotine and its Role in Tobacco Use
$109.99
The Russian Revolution as Ideal and Practice
$69.99
Designing Embedded Systems with the SIGNAL Programming Language
$89.00
Lactoferrin and its Role in Wound Healing
$109.99
J. L. Morenos Werk in Schlsselbegriffen
$89.99
The Rise of Entrepreneurial Parties in European Politics
$39.99
The Free Exercise of Religion in America
$99.99
Environmental Modeling and Health Risk Analysis (Acts/Risk)
$79.99
Kleines Lexikon der Betriebsmetechnik
$59.99
The History of Reading, Volume 2
$54.99
Proceedings of Ninth International Congress on Information and Communication Technology
$219.00
Lebensverlufe in West- und Ostdeutschland
$59.99
Maschinenelemente
$44.99
Statistical Ecology
$169.99
Measure Theory, Probability, and Stochastic Processes
$79.99
The Biodiversity Observation Network in the Asia-Pacific Region
$169.99
Large-scale Magnetic Fields in the Universe
$169.99
The French North African Crisis
$54.99
Web Reasoning and Rule Systems
$39.99
Light Scattering From Micrometric Mineral Dust and Aggregate Particles
$84.99
The Nature of Marketing
$39.99
Edge Detection Methods Based on Generalized Type-2 Fuzzy Logic
$39.99
The Biology of Mallomonas
$169.00
Renewal Processes
$54.99
From Hamiltonians to Phase Diagrams
$39.99
Advances in Materials Processing
$169.99
Academic Activism in Higher Education
$159.99
