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

Harry, Andrew

ISBN 10: 0471940062 ISBN 13: 9780471940067

Editorial: John Wiley & Sons Ltd, 1996

Idioma: Ingl�s

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

Guardar para m�s tarde

Vendido por Buchpark, Trebbin, Alemania

Vendedor de AbeBooks desde 30 de septiembre de 2021

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 77,34 Convertir moneda

EUR 14,90 gastos de env�o desde Alemania 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

Zustand: Gut | Seiten: 386 | Sprache: Englisch | Produktart: B�cher.

N� de ref. del art�culo 38615802/3

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

John Wiley & Sons Ltd

Fecha de publicaci�n

1996

Idioma

Ingl�s

ISBN 10

0471940062

ISBN 13

9780471940067

Encuadernaci�n

Encuadernaci�n de tapa blanda

Estado

Gut

Cat�logos de vendedores

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

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

Descripci�n de la librer�a

Seit �ber 30 Jahren handeln wir mit B�chern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter B�cher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen B�cher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderb�cher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen. Neben dem Ankauf von privaten B�chern oder Haushaltsaufl�sungen kaufen wir bundesweit komplette Bibliotheken und Buchbest�nde von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen. Parallel dazu bietet Buchpark die M�glichkeit, gro�e Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbest�nde werden von uns professionell auf Qualit�tsmerkmale hin untersucht und sorgf�ltig f�r den Onlinehandel aufbereitet. Wir schenken B�chern ein zweites Leben.

Ver la p�gina web de la librer�a