Mathematical Structures for Software Engineering: Based on the Proceedings of a Conference Organized by the Systems and Software Engineering Speciali: 27 - Rilegato

Rilegato

ISBN 10: 0198536275 ISBN 13: 9780198536277

Casa editrice: Oxford Univ Pr, 1991

Riassunto

This volume is concerned with the application of formal mathematical methods in software engineering. As the design, writing and testing of software becomes a major sector of economic activity, the need for rigorous techniques has also grown. The papers in this book are devoted to various mathematical structures which find use in aspects of software design, and they cover topics such as the formal specification of systems, the design of communications software, and concurrent processing. All the contributors are experts in their respective fields. As a result, this collection provides a timely survey of this rapidly growing area. Software engineers and computer scientists will find this work to be an invaluable reference source. Mathematicians will appreciate the discussions of the contribution that their discipline can make and the interesting challenges for the future.

Su questo libro

Product Description:

Book by None

Su questa edizione

• Editore: Oxford Univ Pr
• Data di pubblicazione: 1991
• ISBN 10: 0198536275
• ISBN 13: 9780198536277
• Rilegatura: Copertina rigida
• Numero di pagine: 368
• Redattore: De Neumann Bernard, Simpson Dan, Slater Gil