Formal specification using Z.

Lightfoot, David

ISBN 10: 0333544080 ISBN 13: 9780333544082

Editorial: Macmillan, Basingstoke, 1993

Idioma: Ingl�s

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

Guardar para m�s tarde

Vendido por Lost and Found Books, Healesville, VIC, Australia

Vendedor de AbeBooks desde 20 de junio de 2000

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 blanda

Condici�n: Usado - Bueno

Precio: EUR 23,08 Convertir moneda

EUR 19,32 gastos de env�o desde Australia a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

XII, 164 pages VG. Light shelf wear to covers, insect damage to lower corner of flyleaf, overall very good condition.

N� de ref. del art�culo 16138

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Formal specification using Z.

Editor

Macmillan, Basingstoke

Fecha de publicaci�n

1993

Idioma

Ingl�s

ISBN 10

0333544080

ISBN 13

9780333544082

Encuadernaci�n

trade paperback

Edici�n

reprint.

Estado

Bueno

Estado de la sobrecubierta

No Jacket

Cat�logos de vendedores

engineering and technology

Acerca de

Sinopsis

This book aims to help readers learn about formal specification using the Z language. The author argues that formal specification offers benefits to the developers of computer systems and that it will make a contribution towards improving their quality. The book is primarily aimed at those who are not as familiar with mathematics as the mathematician and in this respect certain aspects of the explanations have been kept more informal and given less emphasis than others. The chapters of this book contain explanations of the mathematics of Z, interleaved with the development of an example specification. The chapters covering mathematics finish with a summary of the notion introduced in the chapter and a set of exercises. Sample solutions to selected exercises are included in the appendix.

Rese�a del editor

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

Descripci�n de la librer�a

Order with confidence. Your order will carefully wrapped and securely packed to prevent damage or loss. All orders are sent by Australia Post with tracking to all destinations in which it is available. Mail order only though personal pick up can be arranged. Our photographs are of the actual book we have on our shelves so look for the words "Seller Image" attached to our listings.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Lost and Found Books
VIC, Australia

Condiciones de venta y env�o

Condiciones de venta

Books shipped internationally. Buyer pays postage costs plus insurance if wanted. Payment by Visa and MasterCard. Direct deposit for Australian customers only. Cheques in Australian dollars and money orders in Australian dollars from Australian customers are welcome. Books may be returned for a full refund if found to be not as described. Mind Science P/L trading as Lost and Found Books. ABN: 71 064 569 240

Condiciones de env�o

Orders are packed securely and shipped promptly by Australia Post. Within Australia regular post is delivered, with tracking, in two to five business days. Express Post is available, with delivery in one to two days. International post is by Australia Post airmail. Australia Post Pack and Track, with tracking, is also available to selected countries at additional cost.