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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Da: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Hardcover. Condizione: Very Good. Very Good - Crisp, clean, unread book with some shelfwear/edgewear, may have a remainder mark - NICE Standard-sized. Codice articolo M0198523823Z2
Quantità: 11 disponibili
Da: BOOKWEST, Phoenix, AZ, U.S.A.
Hardcover. Condizione: New. US SELLER SHIPS FAST FROM USA. Codice articolo 147C1-0198523823-ORD1-190210
Quantità: 1 disponibili