Mathematics of Dependable Systems: v.2 (Institute of Mathematics & Its Applications Conference Series, New Series) - Tapa dura

Stavridou, V.

 
9780198523826: Mathematics of Dependable Systems: v.2 (Institute of Mathematics & Its Applications Conference Series, New Series)

Sinopsis

Mathematics, in the guise of formal methods, cryptography and reliability modelling amongst other topics, is increasingly seen as pivotal in the development and assessment of systems on which society depends, such as banking, medical, transport, or defence systems. This book contains the proceedings of a recent conference which aimed to facilitate the harmonization of these mathematical theories for the development of safe, secure, reliable and available computing systems.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

Mathematics, in the guise of formal methods, cryptography and reliability modelling amongst other topics, is increasingly seen as pivotal in the development and assessment of systems on which society depends, such as banking, medical, transport, or defence systems. This book contains the proceedings of a recent conference which aimed to facilitate the harmonization of these mathematical theories for the development of safe, secure, reliable and available computing systems.

"Sobre este título" puede pertenecer a otra edición de este libro.