Mathematics, particularly formal methods, cryptography and reliability modeling, is increasingly pivotal in the development and assessment of complex systems on which society depends, including banking, medical, transportation, and defense systems. This book contains the proceedings of a recent conference on ways to apply these mathematical theories to develop safe, secure, reliable and available computing systems.
"synopsis" may belong to another edition of this title.
Victoria Stavridou, Reader in Computer Science, Queen Mary and Westfield College, University of London.
"About this title" may belong to another edition of this title.
US$ 6.00 shipping within U.S.A.
Destination, rates & speedsSeller: 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
Seller: 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: dsmbooks, Liverpool, United Kingdom
Hardcover. Condition: Very Good. Very Good. book. Seller Inventory # D8S0-3-M-0198523823-4
Quantity: 1 available