Engineering Trustworthy Software Systems

Name: Engineering Trustworthy Software Systems
Brand: Springer Nature
SKU: 9783030029272
Availability: InStock

Best Price (Coupon Required):
Buy Engineering Trustworthy Software Systems for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $39.99 - $39.99

BEST PRICE

Single Product Purchase

$36.00

@ Link.springer.com with extra coupon

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		$39.99	$39.99		10% OFF This deals requires coupon	$36.00		See Site	In stock	Visit Store

Product Details

Brand

Springer Nature

Manufacturer

N/A

Part Number

GTIN

9783030029272

Condition

New

Product Description

This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 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 original courses delivered at the school on topics such as: rely/guarantee thinking; Hoare-style specification and verification of object-oriented programs with JML; logic, specification, verification, and interactive proof; software model checking with Automizer; writing programs and proofs; engineering self-adaptive software-intensive systems; and with an additional contribution on the challenges for formal semantic description. 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

N/A

Available Sizes

N/A

Reviews

0 reviews

5 stars

4 stars

3 stars

2 stars

1 star

Questions & Answers

Similar Products

Progress in Iron Research

$39.99

Principles of Medical Therapy in Pregnancy

$74.99

Arnold Houbraken in seiner Bedeutung fr die hollndische Kunstgeschichte

$59.99

Spanish Library Grades K-2

$75.00

Zur methodischen Auswahl von Emissionsminderungsmanahmen

$59.99

Forests in International Law

$54.99

Entrepreneurship, Regional Development and Culture

$109.99

Experimentelle Untersuchungen zur Auswirkung einer einmaligen ACTH-Gabe

$59.99

Essentials of Mathematica

$39.99

Advances in Computer Methods and Geomechanics

$329.99

Genetics of Diabetes Mellitus

$129.00

11th International Conference on Magnet Technology (MT-11)

$39.99

Nonlinear Time-discrete Systems

$39.99

XNA Game Programming Recipes

$29.99

Destructive Storytelling

$119.99

Elementary Particle Physics

$39.99

Berichterstattung zur soziokonomischen Entwicklung in Deutschland

$59.99

Blut und Lymphe

$59.99

Fachwissen MTRA

$69.99

Studium nach Bologna: Praxisbezge strken?!

$74.99

User Modeling, Adaptation and Personalization

$54.99

Teaching Economics

$39.99

Advances in Intelligent Data Analysis VII

$39.99

Grundlagen der Umformtechnik Stand und Entwicklungstrends / Fundamentals of Metal Forming Techniqu

$69.99

Energiewirtschaft in Europa

$89.00

Financial Innovations and Monetary Reform

$79.99

Picture Processing and Digital Filtering

$39.99

Ocular Toxicology

$39.99

Manu

$9.74

Apples to Oregon: Being the (Slightly) True Narrative of How a Brave Pioneer Father Brought Apples, Peaches, Pears, Plums, Grapes, and Cherries (and C

$8.99