Formal Methods Fact File: VDM and Z (Wiley Series in Software Engineering Practice)

Harry, Andrew

ISBN 10: 0471940062 ISBN 13: 9780471940067

Editorial: Wiley, 1996

Idioma: Ingl�s

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

Guardar para m�s tarde

Vendido por HPB-Red, Dallas, TX, Estados Unidos de America

Vendedor de AbeBooks desde 11 de marzo de 2019

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 - Aceptable

Precio: EUR 190,38 Convertir moneda

EUR 91,94 gastos de env�o desde Estados Unidos de America 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

Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!

N� de ref. del art�culo S_346798065

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Formal Methods Fact File: VDM and Z (Wiley Series in Software Engineering Practice)
Editor: Wiley
Fecha de publicaci�n: 1996
Idioma: Ingl�s
ISBN 10: 0471940062
ISBN 13: 9780471940067
Encuadernaci�n: Paperback
Estado: Good

Acerca de

Sinopsis

This introductory text demonstrates how formal methods allow the more accurate specification and design of software systems. The book explains what formal methods are; why we need them; what should motivate our choice of methods; and how to use them effectively. Its overview of the different styles of formal notation is used as a framework for a more detailed discussion of VDM and Z, based on the latest draft standards of these languages. Exercises (and their solutions) and an extensive glossary are also included as teaching aids.

Rese�a del editor

This introductory text demonstrates how formal methods allow the more accurate specification and design of software systems. The book explains what formal methods are; why we need them; what should motivate our choice of methods; and how to use them effectively. Its overview of the different styles of formal notation is used as a framework for a more detailed discussion of VDM and Z, based on the latest draft standards of these languages. Exercises (and their solutions) and an extensive glossary are also included as teaching aids.

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

Descripci�n de la librer�a

Half Price Books has been connecting readers to great books since 1972. Customer service is our top priority.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Half Price Books, Records, Magazines, Inc.
5803 E. Northwest Hwy., Dallas, TX, 75231, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

Condiciones de env�o

M�todos de pago

A�adir una petici�n