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

Taschenlexikon Logistik

$74.99

The Vestibular System

$39.99

Lehrbuch der speziellen Therapie innerer Krankheiten

$44.99

Strategic Management - New Rules for Old Europe

$89.00

Progress in Engineering Technology V

$109.00

Statistical Analysis of Panel Count Data

$79.99

Controlling in Consulting-Unternehmen

$54.99

Theoretische Elektrotechnik

$49.99

Taste

$84.99

Object-Oriented and Internet-Based Technologies

$54.99

Antennentechnik

$59.99

Parallel Computational Technologies

$54.99

Sweet Spreads, Delectable Dessert Boards for Every Occasion by Amber Olson

$29.99

Businessplan und Markterfolg eines Geschftskonzepts

$69.99

Graph Theoretical Approaches to Chemical Reactivity

$169.99

Cystoid Macular Edema

$129.99

Acetic Acid Bacteria

$219.99

Make-or-Buy-Strategien fr F&E

$69.99

Effizienzmae der Data Envelopment Analysis

$69.99

Schizophrenie und soziale Anpassung

$69.99

Elliptic Systems of Phase Transition Type

$109.99

Emerging Research in Artificial Intelligence and Computational Intelligence

$54.99

Politikkompetenz

$59.99

A Life Devoted to Quality of Life

$54.99

Practices in Regional Science and Sustainable Regional Development

$179.99

Die statische Berechnung allgemeiner ausgesteifter Faltwerke mit Hilfe Finiter Elemente vom Gleichge

$44.99

Exploring Regional Responses to a Nuclear Iran

$39.99

Trade, Investment, Migration and Labour Market Adjustment

$84.99

Deutschland, sterreich und die Schweiz. Die politischen Systeme im Vergleich

$59.99

Writers, Editors and Exemplars in Medieval English Texts

$139.99

The Functional Calculus for Sectorial Operators

$109.99

Advances in Remanufacturing

$199.99

Higher Mathematics for Science and Engineering

$99.99

Comprehensive Virology Volume 13: Structure and Assembly

$54.99

Cellular Rhythms and Networks

$39.99

Hematopoietic Stem Cells

$109.99

Proceedings of the Canadian Society for Civil Engineering Annual Conference 2023, Volume 10

$299.99

Quantitative Entscheidungsunterlagen auf der Grundlage von Szenarien

$59.99

Sicherheitskonzepte in der mobilen Kommunikation

$29.99

Policing Wars

$39.99