Mathematics of Dependable Systems II (The ^AInstitute of Mathematics and its Applications Conference Series, New Series) - Hardcover

 
9780198523826: Mathematics of Dependable Systems II (The ^AInstitute of Mathematics and its Applications Conference Series, New Series)

Synopsis

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.

About the Author

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.