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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
EUR 5,32 expédition vers Etats-Unis
Destinations, frais et délaisEUR 4,42 expédition vers Etats-Unis
Destinations, frais et délaisVendeur : Midtown Scholar Bookstore, Harrisburg, PA, Etats-Unis
Hardcover. Etat : Very Good. Very Good - Crisp, clean, unread book with some shelfwear/edgewear, may have a remainder mark - NICE Standard-sized. N° de réf. du vendeur M0198523823Z2
Quantité disponible : 12 disponible(s)
Vendeur : BOOKWEST, Phoenix, AZ, Etats-Unis
Hardcover. Etat : New. US SELLER SHIPS FAST FROM USA. N° de réf. du vendeur 147C1-0198523823-ORD1-190210
Quantité disponible : 1 disponible(s)
Vendeur : dsmbooks, Liverpool, Royaume-Uni
Hardcover. Etat : Very Good. Very Good. book. N° de réf. du vendeur D8S0-3-M-0198523823-4
Quantité disponible : 1 disponible(s)