The Unified Computation Laboratory: Modelling, Specifications, and Tools (The Institute of Mathematics and its Applications Conference Series, New Series)

ISBN 10: 0198536844 / ISBN 13: 9780198536840

Verlag: Oxford University Press, 1992

Beschreibung

Very Good - Crisp, clean, unread book with some shelfwear/edgewear, may have a remainder mark - NICE Standard-sized.

Bestandsnummer des Verkäufers M0198536844Z2

Bibliografische Details

• Titel: The Unified Computation Laboratory: Modelling, Specifications, and Tools (The Institute of Mathematics and its Applications Conference Series, New Series)
• Verlag: Oxford University Press
• Erscheinungsjahr: 1992
• Sprache: Englisch
• ISBN-10: 0198536844
• ISBN-13: 9780198536840
• Einband: Hardcover
• Zustand: Very Good

Über diesen Titel

Inhaltsangabe

This book is concerned with the theory and techniques required in the construction and implementation of complex software systems. Improved understanding may come from developing suitable models and theories of such systems to guide appropriate experimentation. Alternatively, standard mathematical theories and constructions may provide techniques directly usable in the design and implementation of new software. In any case, the use of these approaches involves the development of new tools, and using them leads to further insights which can improve the original theories and models. The contributors to this book cover all these many aspects involved in the origin, development, and refinement of software systems. Some chapters break new ground, some represent the next stage in ongoing research programs, and others describe the next generation of software tools. In addition to a readership of software engineers and computer scientists, the book offers a source of interesting research problems for mathematicians, whose work is vital for the continued development of the field.