Mathematical Structures for Software Engineering: 27 (Institute of Mathematics and its Applications Conference Series (New Series)) - Hardcover

Neumann, Bernard De

 
9780198536277: Mathematical Structures for Software Engineering: 27 (Institute of Mathematics and its Applications Conference Series (New Series))
Hardcover
ISBN 10: 0198536275 ISBN 13: 9780198536277
Verlag: Clarendon Press, 1991

Inhaltsangabe

This volume is concerned with the application of formal methods in software engineering. As the design, writing, and testing of software becomes a major sector of economic activity, so the need for rigorous techniques has also grown. The papers in the 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 will provide a timely survey of this rapidly growing area. Software engineers and computer scientists should find this presents an invaluable source of reference. Mathematicians will appreciate the discussions of the contribution that mathematics can make in this discipline and in particular find mathematically interesting challenges for the future.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

This volume is concerned with the application of formal methods in software engineering. As the design, writing, and testing of software becomes a major sector of economic activity, so the need for rigorous techniques has also grown. The papers in the 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 will provide a timely survey of this rapidly growing area. Software engineers and computer scientists should find this presents an invaluable source of reference. Mathematicians will appreciate the discussions of the contribution that mathematics can make in this discipline and in particular find mathematically interesting challenges for the future.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Clarendon Press
Erscheinungsdatum
1991
Sprache
Englisch
ISBN 10 
0198536275
ISBN 13 
9780198536277
Einband
Tapa dura
Anzahl der Seiten
368
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Ufficio Anagrafiche Messaggerie
ufficio.anagrafiche@meli.it

Via Verdi, 8
Assago Milano
20090
Italien