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

Editorial: Oxford University Press, 1992

Idioma: Ingl�s

Condici�n: Usado - Bueno Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por Midtown Scholar Bookstore, Harrisburg, PA, Estados Unidos de America

Vendedor de AbeBooks desde 7 de junio de 2002

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa dura

Condici�n: Usado - Bueno

Precio: EUR 3,01 Convertir moneda

EUR 64,54 gastos de env�o desde Estados Unidos de America a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

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

N� de ref. del art�culo M0198536844Z2

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: The Unified Computation Laboratory: Modelling, Specifications, and Tools (The Institute of Mathematics and its Applications Conference Series, New Series)
Editor: Oxford University Press
Fecha de publicaci�n: 1992
Idioma: Ingl�s
ISBN 10: 0198536844
ISBN 13: 9780198536840
Encuadernaci�n: Hardcover
Estado: Very Good

Acerca de

Sinopsis

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.

Rese�a del editor

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

We are PENNSYLVANIA'S LARGEST USED BOOKSTORE specializing in second-hand and out- of-print scholarly books in all fields! We offer the finest selection of art books between New York and Chicago. We invite you to email us with any questions or concerns about any of our books. We are always interested in buying academic libraries and are willing to travel to collect your books!!

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

The Midtown Scholar Bookstore, Inc.
3401 North Sixth Street, Harrisburg, PA, 17110, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

We guarantee the condition of every book as it is described on the Abebooks website. If you are dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order has not arrived, you may be eligible for a refund within 30 days of the estimated delivery date. If you have changed your mind about a book that you have ordered, please use the Ask bookseller a question link to contact us and our customer service team will typically respond within 2 business days.

Condiciones de env�o

* * * All books are packed with great care! * * * DOMESTIC SHIPPING OPTIONS for standard-sized books: USPS PRIORITY MAIL (takes business 3-7 days to arrive in the continental U.S.) - $9.00 for the 1st book and $6.00 for a 2nd book. ... BOOK RATE SHIPPING ("media mail", takes 1-4 weeks to arrive in the continental U.S.; please note that media mail delivery to Alaska, Hawaii, Puerto Rico, APO/FPO addresses, and US territories can take 6-8 weeks) - $6.00 for the 1st book and $3.00 for each additional book. MEDIA MAIL BOOKS ARE TYPICALLY SEALED IN A HIGH-QUALITY PLASTIC BAG AND THEN PACKAGED IN A STRONG CARDBOARD BOX. Some extremely small, very light items receive a First-Class upgrade and may ship in a First-Class bubblewrap-lined mailer. ... AIRMAIL SHIPPING TO CANADA: Price varies based on rate. Please contact us for details. Oversized or heavy items may require additional postage.... OTHER INTERNATIONAL AIRMAIL SHIPPING: Shipping by DHL service whenever possible with typical delivery in 5-14 business days. Oversized or heavy items may require additional postage.... If your book is HEAVY or OVERSIZED, we will contact you to let you know extra shipping is required.