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.
"synopsis" may belong to another edition of this title.
£ 55.45 shipping from U.S.A. to United Kingdom
Destination, rates & speeds£ 22.19 shipping from U.S.A. to United Kingdom
Destination, rates & speedsSeller: BOOKWEST, Phoenix, AZ, U.S.A.
Hardcover. Condition: New. US SELLER SHIPS FAST FROM USA. Seller Inventory # 147C1-0198523823-ORD1-190210
Quantity: 1 available
Seller: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Hardcover. Condition: Very Good. Very Good - Crisp, clean, unread book with some shelfwear/edgewear, may have a remainder mark - NICE Standard-sized. Seller Inventory # M0198523823Z2
Quantity: 12 available