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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 66,14 für den Versand von USA nach Deutschland
Versandziele, Kosten & DauerEUR 26,46 für den Versand von USA nach Deutschland
Versandziele, Kosten & DauerAnbieter: BOOKWEST, Phoenix, AZ, USA
Hardcover. Zustand: New. US SELLER SHIPS FAST FROM USA. Bestandsnummer des Verkäufers 147C1-0198523823-ORD1-190210
Anzahl: 1 verfügbar
Anbieter: Midtown Scholar Bookstore, Harrisburg, PA, USA
Hardcover. Zustand: Very Good. Very Good - Crisp, clean, unread book with some shelfwear/edgewear, may have a remainder mark - NICE Standard-sized. Bestandsnummer des Verkäufers M0198523823Z2
Anzahl: 12 verfügbar
Anbieter: dsmbooks, Liverpool, Vereinigtes Königreich
Hardcover. Zustand: Very Good. Very Good. book. Bestandsnummer des Verkäufers D8S0-3-M-0198523823-4
Anzahl: 1 verfügbar