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
Politischer Extremismus
$74.99
Die Gleichstrom-Dynamomaschine
$59.99
AI and IoT for Smart City Applications
$199.99
SAP SuccessFactors Talent: Volume 2
$79.99
State, Economy, and Society in Post-Military Nigeria
$39.99
Die Vulva und ihre Erkrankungen, Lage- und Bewegungsanomalien des weiblichen Genitalapparates
$59.99
Information Systems: Research, Development, Applications, Education
$54.99
Untersuchung von Mitteln zur Dmpfung der Bugwelle an Flachwasserschiffen
$54.99
Learning and Collaboration Technologies
$49.99
Plant Ecology, Herbivory, and Human Impact in Nordic Mountain Birch Forests
$259.00
Endotoxins: Structure, Function and Recognition
$169.00
Multisystem Diseases
$84.99
Understanding Risk-Taking
$39.99
Structure and Bonding
$39.99
Explorationsgesprche zur Erforschung des Denkens schwachsinniger Kinder
$59.99
Numerische Prozeduren
$49.99
Mathematics and Mechanics - The Interplay
$179.99
Global Inequality Matters
$39.99
Ubiquitous Communications and Network Computing
$39.99
LAN Lokale PC-Netzwerke
$69.95
Approximation and Complexity in Numerical Optimization
$219.99
Insulation of High-Voltage Equipment
$169.99
Entwicklung und Erprobung eines verbesserten elektrischen Kettfadenwchtergeschirrs fr die Leinen
$59.99
Production Development
$249.99
Software and Data for Practical Astronomers
$69.99
Inorganic Nitrogen in Plants and Microorganisms
$109.99
Biodiversity and Tourism
$84.99
I Survived: Sobreviv la gran inundacin de melaza, 1919
$4.49
Politische Geschichte der Gegenwart
$59.99
Mathematical Modeling and Simulation of Systems
$189.00
Race, Politics, and Education in Brazil
$139.99
Electrical Engineering Applications
$84.99
The Changing Role of the Management Accountants
$139.99
Data-Driven Marketing und der Erfolgsfaktor Mensch
$19.99
Monetary Policy Normalization
$179.99
Ultrafast Phenomena IV
$84.99
Grab and Go Pack Theme 4: Foundational Skills Grade K
$29.95
Women's Work, Men's Cultures
$54.99
Konfidenzintervalle und Standardfehler-Balken
$17.99
Education for All and Multigrade Teaching
$169.99
