Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Engineering Trustworthy Software Systems

Engineering Trustworthy Software Systems

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783319568416
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

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