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
9783030176006
Condition
New
Product Description

This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy Software Systems, SETSS 2018, held in April 2018 at Southwest University in Chongqing, China. The five chapters in this volume provide an overview of research in the frontier of theories, methods, and tools for software modelling, design, and verification. The topics covered in these chapter include Software Verification with Whiley, Learning Bchi Automata and Its Applications, Security in IoT Applications, Programming in Z3, and The Impact of Alan Turing: Formal Methods and Beyond. The volume provides a useful resource for postgraduate students, researchers, academics, and engineers in industry, who are interested in theory, methods, and tools for the development of trustworthy software.

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

Single Product Purchase

$49.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
$49.99 $49.99

$49.99
See Site In stock Visit Store

Similar Products

Distributed, Ambient and Pervasive Interactions

$79.99

Deutschlands Volksvermgen im Kriege

$59.99

Atlas of Liver Pathology

$39.99

Kinderheilkunde und Jugendmedizin

$54.99

Advances in Computer Science for Engineering and Education III

$169.00

People Living with Disabilities in South African Cities

$129.00

Revenue Management for Manufacturing Companies

$37.99

Grade 2 Below-Level Pack ( Levels C-F)

$130.00

Taxation, International Cooperation and the 2030 Sustainable Development Agenda

$59.99

Standard Integral Table Algebras Generated by a Non-real Element of Degree

$34.99

Zur Zukunft des Landesparlamentarismus

$19.99

Androgenetic Alopecia From A to Z

$199.99

Einfhrung in die Entwurfsautomatisierung fr Quantencomputer

$84.99

Mechanical Ventilation

$54.99

Public Management

$74.99

Data Warehouse Systems

$69.99

Technische Keramik

$49.99

Trials of Europeanization

$39.99

The Welfare State, Globalization, and International Law

$109.99

The Life and Works of John Napier

$199.00

Research Advances in Database and Information Systems Security

$109.99

The Exoteric Square of Opposition

$129.00

Krebschirurgie in Heidelberg

$69.99

Agro-biodiversity and Agri-ecosystem Management

$169.99

Preserving and Constructing Place Attachment in Europe

$109.99

Lithic Technological Organization and Paleoenvironmental Change

$199.99

Metadata and Semantics Research

$54.99

Portfolio Assessment for the Teaching and Learning of Writing

$69.99

Linear Time Varying Systems and Sampled-data Systems

$129.00

Amina's Voice: Amina's Song

$5.96

Richtlinien der Personalfhrung

$59.99

The Science of Prehistoric Giants: Dinosaurs That Used Armor for Defense

$21.75

Advances in Web-Based Learning ICWL 2019

$59.99

Projektmanagement der SW-Entwicklung

$49.99

Color Atlas of Xenopus laevis Histology

$39.99

Stem Cell Engineering

$129.00

Stationary Diffraction by Wedges

$49.99

Materia Medica of New and Old Homeopathic Medicines

$54.99

Einfhrung in die Biologie der Ssswasserseen

$49.99

Doctors Marriages

$54.99