Computer Safety, Reliability, and Security Image close
Computer Safety, Reliability, and Security
Computer Safety, Reliability, and Security
Show Hide Adult Content
Computer Safety, Reliability, and Security close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer hardware

Computer Safety, Reliability, and Security

38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$160.99
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

Buy Now, Pay Later with:

4 payments of $40.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Programming and Software Engineering

See all products in this series

Intelligent Tutoring Systems Save $66
$148.99
$215.95
Intelligent Tutoring Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods for Web Services
$173.99
Formal Methods for Web Services
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering and Formal Methods Save $14
$138.99
$153.95
Software Engineering and Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Safety, Reliability, and Security Save $62
$140.99
$203.95
Computer Safety, Reliability, and Security
Paperback / softback
Available - Usually ships in 3-4 weeks
Static Analysis Save $35
$141.99
$177.95
Static Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
Service-Oriented Computing - ICSOC 2007
$275.99
Service-Oriented Computing - ICSOC 2007
Paperback / softback
Available - Usually ships in 3-4 weeks
Architecting Dependable Systems V Save $12
$138.99
$151.95
Architecting Dependable Systems V
Paperback / softback
Available - Usually ships in 3-4 weeks
Generative and Transformational Techniques in Software Engineering IV
$140.99
Generative and Transformational Techniques in Software Engineering IV
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods for Industrial Critical Systems Save $16
$135.99
$152.95
Formal Methods for Industrial Critical Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Composition
$135.99
Software Composition
Paperback / softback
Available - Usually ships in 3-4 weeks
Human Factors in Computing and Informatics Save $60
$153.99
$214.95
Human Factors in Computing and Informatics
Paperback / softback
Available - Usually ships in 3-4 weeks
Rule-Based Reasoning, Programming, and Applications
$138.99
Rule-Based Reasoning, Programming, and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering
$124.99
Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Coordination Models and Languages
$135.99
Coordination Models and Languages
Paperback / softback
Available - Usually ships in 3-4 weeks
Service-Oriented Computing Save $47
$148.99
$196.95
Service-Oriented Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Requirements Engineering: Foundation for Software Quality
$139.99
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019. The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation. 
Release date Australia
August 8th, 2019
Contributors
  • Edited by Alexander Romanovsky
  • Edited by Elena Troubitsyna
  • Edited by Friedemann Bitsch
Pages
316
Edition
1st ed. 2019
Audience
  • Professional & Vocational
Illustrations
92 Illustrations, color; 228 Illustrations, black and white; XXI, 316 p. 320 illus., 92 illus. in color.
ISBN-13
9783030266004
Product ID
30822075

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 hardware
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Artificial intelligence
Books >
Computers & Internet >
Computer science >
Artificial intelligence >
Computer vision