Cantitate/Preț
Produs

Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings: Lecture Notes in Computer Science, cartea 10488

Editat de Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch
en Limba Engleză Paperback – 17 aug 2017
This book constitutes the refereed proceedings of the 36th International Conference  on Computer
Safety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.
The 22 revised full papers and two abstracts of keynotes presented  were carefully reviewed 
and selected from 65 submissions.
The papers are organized in topical sections on dynamic fault trees; safety case and argumentation; formal verification; autonomous systems; static analysis and testing; safety analysis and assessment; safety and security.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (2) 32913 lei  6-8 săpt.
  Springer International Publishing – 17 aug 2017 32913 lei  6-8 săpt.
  Springer International Publishing – 29 sep 2017 33525 lei  6-8 săpt.

Din seria Lecture Notes in Computer Science

Preț: 32913 lei

Preț vechi: 41141 lei
-20% Nou

Puncte Express: 494

Preț estimativ în valută:
6301 6559$ 5187£

Carte tipărită la comandă

Livrare economică 01-15 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319662657
ISBN-10: 3319662651
Pagini: 344
Ilustrații: XIX, 344 p. 107 illus.
Dimensiuni: 155 x 235 mm
Greutate: 0.51 kg
Ediția:1st ed. 2017
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Cham, Switzerland

Cuprins

Dynamic fault trees.- Safety case and argumentation.- Formal verification.- Autonomous systems.- Static analysis and testing.- Safety analysis and assessment.- Safety and security.

Caracteristici

Includes supplementary material: sn.pub/extras