Can I read Automated Theorem Proving in Software Engineering on EtoBox?

Automated Theorem Proving in Software Engineering by Dr. Johann M. Schumann (auth.) is a nonfiction available to read on EtoBox.

What is Automated Theorem Proving in Software Engineering about?

These are the proceedings of the Conference on Coding Theory, Cryptography, and Number Theory held at the U.S. Naval Academy during October 25-26, 1998. This book concerns elementary and advanced aspects of coding theory and cryptography. The coding theory contributions deal mostly with algebraic coding theory. Some of these papers are expository, whereas others are the result of original research. The emphasis is on geometric Goppa codes, but there is also a paper on codes arising from combinatorial constructions. There are both, historical and mathematical papers on cryptography. Several of the contributions on cryptography describe the work done by the British and their allies during World War II to crack the German and Japanese ciphers. Some mathematical aspects of the Enigma rotor machine and more recent research on quantum cryptography are described. Moreover, there are two papers concerned with the RSA cryptosystem and related number-theoretic issues 1. Introduction -- 2. Formal Methods in Software Engineering -- 3. Processing of Logic -- 4. Characteristics of Proof Tasks -- 5. Requirements -- 6. Case Studies -- 7. Specific Techniques for ATP Applications -- 8. Conclusions

Who reads Automated Theorem Proving in Software Engineering?

Author

Dr. Johann M. Schumann (auth.)

Publisher

Springer-Verlag Berlin Heidelberg

Published

2001

Language

EN

ISBN

9783642087592

Category

nonfiction

Subjects

Computer Science, Engineering, Mathematics