Engineering Trustworthy Software Systems Image close
Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
Show Hide Adult Content
Engineering Trustworthy Software Systems close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Software engineering

Engineering Trustworthy Software Systems

First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$152.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $38.00 with Afterpay Learn more

6 weekly interest-free payments of $25.33 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 17-27 June using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$203.00
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Theory and Applications of Models of Computation
$367.00
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 21 May 2024
Discrete Geometry and Mathematical Morphology by Sara Brunetti
$315.00
Discrete Geometry and Mathematical Morphology
by Sara Brunetti ~ Paperback / softback
Pre-order - out 6 Jun 2024
Axiomatising the Logic of Computer Programming by R. Goldblatt
$92.00
Axiomatising the Logic of Computer Programming
by R. Goldblatt ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Algebraic Semantics by Irene Guessarian
$96.00
Algebraic Semantics
by Irene Guessarian ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Languages and Compilers for Parallel Computing
$164.00
Languages and Compilers for Parallel Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Rules on the Web: From Theory to Applications
$153.00
Rules on the Web: From Theory to Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Swarm Intelligence Based Optimization
$149.00
Swarm Intelligence Based Optimization
Paperback / softback
Available - Usually ships in 3-4 weeks
Unconventional Computation and Natural Computation
$151.00
Unconventional Computation and Natural Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Dynamic Data-Driven Environmental Systems Science
$153.00
Dynamic Data-Driven Environmental Systems Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Foundations of Software Science and Computation Structures
$164.00
Foundations of Software Science and Computation Structures
Paperback / softback
Available - Usually ships in 3-4 weeks
Euro-Par 2015: Parallel Processing Workshops
$169.00
Euro-Par 2015: Parallel Processing Workshops
Paperback / softback
Available - Usually ships in 3-4 weeks
Human-Computer Interaction – INTERACT 2019
$292.00
Human-Computer Interaction – INTERACT 2019
Paperback / softback
Available - Usually ships in 3-4 weeks
Intersections in Simulation and Gaming
$151.00
Intersections in Simulation and Gaming
Paperback / softback
Available - Usually ships in 3-4 weeks
Engineering Psychology and Cognitive Ergonomics: Performance, Emotion and Situation Awareness
$155.00
Engineering Psychology and Cognitive Ergonomics: Performance, Emotion...
Paperback / softback
Available - Usually ships in 3-4 weeks
Dynamic Logic. New Trends and Applications
$151.00
Dynamic Logic. New Trends and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This volume contains the lecture notes of the five courses and one seminar given at the School on Engineering Trustworthy Software Systems (SETSS 2014), held in September 2014 at Southwest University in Chongqing, China. 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. The common themes of the courses include the design and use of theories, techniques and tools for software specification and modeling, analysis and verification. The courses cover sequential programming, component- and object software, hybrid systems and cyber-physical systems with challenges of termination, security, safety, security, fault-tolerance and real-time requirements. The techniques include model checking, correctness by construction through refinement and model transformations, synthesis and computer algebra.
Release date NZ
March 1st, 2016
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Contributors
  • Edited by Zhiming Liu
  • Edited by Zili Zhang
Edition
1st ed. 2016
Illustrations
141 Illustrations, color; XI, 325 p. 141 illus. in color.
Pages
325
Dimensions
155x235x18
ISBN-13
9783319296272
Product ID
24547751

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Software Packages >
Computer graphics software
Books >
Computers & Internet >
Computer Applications >
Artificial intelligence >
Knowledge-based systems / expert systems
Books >
Computers & Internet >
Computer Applications >
Computer modelling & simulation
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence >
Expert systems / knowledge-based systems