Construction of Formal Specifications: An Introduction to the Model-based and Algebraic Approaches (McGraw-Hill International Series in Software Engineering)

Editor

McGraw-Hill Book Co Ltd

Fecha de publicaci�n

1993

Idioma

Ingl�s

ISBN 10

0077077350

ISBN 13

9780077077358

Encuadernaci�n

Paperback

Estado

Very Good

Cat�logos de vendedores

Acerca de

Sinopsis

Introducing two widely-used approaches to the formal specification of software systems, this book considers VDM and the algebraic approach. In each case, the emphasis is intuitive, rather than mathematical and shows the reader how to construct a formal specification from the first principles by using general procedures that can be followed each time. Familiar applications are referred to throughout and examples, small case studies and problems accompany each chapter. The two approaches are brought together in one large joint case study at the end of the book, as well as a section comparing and contrasting them. The book includes a discussion of prototyping using Prolog, OBJ3 and Miranda. It should be suitable for advanced undergraduates; postgraduates in computing and software engineering; software engineers; programmers; and other computing professionals.

Rese�a del editor

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

Descripci�n de la librer�a

In 2002, World of Books Group was founded on an ethos to do good, protect the planet and support charities by enabling more goods to be reused. Since then, we've grown into to a global company pioneering the circular economy. Today, we drive the circular economy through three re-commerce brands: - Wob: Through Wob, we sell. We provide affordable, preloved books and media to customers all over the world. A book leaves our collection of over seven million titles and begins a new chapter every two seconds, enabling more goods to be reused. - Ziffit: Through Ziffit, we buy. We give people around the world the opportunity to contribute to the circular economy, earn money and protect the planet, by trading their unwanted books and media. - Shopiago: Through Shopiago, we help others. By sharing the technology that has grown World of Books Group into the business it is today, we?re helping charities increase revenue and reduce waste through re-commerce.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

World of Books Ltd
Mulberry House, Woods Way Trading Estate, Goring-By-Sea, BN12 4QY, United Kingdom

Condiciones de venta y env�o

Condiciones de venta

WorldofBooks.com fully embraces the AbeBooks terms and conditions and we will do
what we can to resolve any issues.

Derecho a cancelaci�n

Condiciones de env�o

Orders ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Tarifas de env�o de Reino Unido a Espa�a

Tarifas de env�o de Reino Unido a Espa�a
Cantidad del pedido	De 7 a 12 d�as h�biles	De 4 a 10 d�as h�biles
Primer art�culo	EUR 6.94	EUR 11.56

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.