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. No DJ as issued No dust jacket. Very Good hardcover with light shelfwear - NICE! Standard-sized. Codice articolo mon0000174631
Quantità: 1 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