Coming Soon! Australia’s Home of Books is preparing for a fresh chapter under new ownership. We’re working behind the scenes to bring you the best selection of books, fulfilled in record time. Stay tuned. Your next great read is just around the corner!
  1. Home
  2. Books
  3. Non-Fiction
  4. Computing & information technology
  5. Computer science

Free shipping on orders over $99
Engineering Trustworthy Software Systems

Engineering Trustworthy Software Systems

International Summer School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

by Zili Zhang and Zhiming Liu
Paperback
Publication Date: 01/03/2016
Be the first to write a review

Share This Book:

 
$124.95
Add to List

Click 'Notify Me' to get an email alert when this item becomes available

(In-)formal methods: The Lost Art.- Program refinement, perfect secrecy and information flow.- The Z Notation: Whence the Cause and Whither the Course?.- Model-Driven Design of Object and Component Systems.- Cyber-Physical Systems Engineering.- Combining Formal and Informal Methods in the Design of Spacecrafts.
ISBN:
9783319296272
9783319296272
Category:
Computer science
Format:
Paperback
Publication Date:
01-03-2016
Language:
English
Publisher:
Springer
Country of origin:
United States
Dimensions (mm):
235x155mm
Weight:
5.15kg

Click 'Notify Me' to get an email alert when this item becomes available

You can find this item in:

Compilers Mathematics 3D graphics & modelling Computer modelling & simulation Expert systems / knowledge-based systems Computer programming / software development Computer architecture & logic design Software Engineering Software testing & verification Programming & scripting languages: general Mathematical theory of computation Computer science
Show more Show less

Reviews

Be the first to review Engineering Trustworthy Software Systems.