Articoli correlati a The Unified Computation Laboratory: Modelling, Specification...
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description
Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreOxford Univ Pr
- Data di pubblicazione1992
- ISBN 10 0198536844
- ISBN 13 9780198536840
- RilegaturaCopertina rigida
- LinguaInglese
- Numero di pagine474
- RedattoreClark Robert G.
Risultati della ricerca per The Unified Computation Laboratory: Modelling, Specification...
Foto dell'editore
The Unified Computation Laboratory: Modelling, Specifications, and Tools (The Institute of Mathematics and its Applications Conference Series, New Series)
Editore:
Oxford University Press, 1992
ISBN 10: 0198536844
ISBN 13: 9780198536840
Antico o usato
Rilegato
Da: Bookmonger.Ltd, HILLSIDE, NJ, U.S.A.
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: Very Good. Codice articolo mon0000431991
Quantità: 1 disponibili
Foto dell'editore
The Unified Computation Laboratory: Modelling, Specifications, and Tools (Institute of Mathematics and Its Applications Conference Series New Series)
Editore:
Oxford University Press, USA, 1992
ISBN 10: 0198536844
ISBN 13: 9780198536840
Antico o usato
Rilegato
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. *FREE domestic shipping until Tuesday, May 20* 461 pp., Hardcover, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Codice articolo ZB889131
Quantità: 1 disponibili
Foto dell'editore
The Unified Computation Laboratory: Modelling, Specifications, and Tools (The Institute of Mathematics and its Applications Conference Series, New Series)
Editore:
Oxford University Press, 1992
ISBN 10: 0198536844
ISBN 13: 9780198536840
Antico o usato
Rilegato
Da: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. Very Good - Crisp, clean, unread book with some shelfwear/edgewear, may have a remainder mark - NICE Standard-sized. Codice articolo M0198536844Z2
Quantità: Più di 20 disponibili
Foto dell'editore
The Unified Computation Laboratory: Modelling, Specifications, and Tools (The ^AInstitute of Mathematics and its Applications Conference Series, New Series)
Editore:
Oxford University Press, 1992
ISBN 10: 0198536844
ISBN 13: 9780198536840
Antico o usato
Rilegato
Da: dsmbooks, Liverpool, Regno Unito
Valutazione del venditore 4 su 5 stelle
hardcover. Condizione: Good. Good. book. Codice articolo D8S0-3-M-0198536844-3
Quantità: 1 disponibili