Name: proof in vdm: a practitioner's guide (en Inglés)
Price: 97259.00 ARS
Availability: InStock
Author: Bicarregui, Juan C. ; Fitzgerald, John ; Lindsay, Peter A.
ISBN: 9783540198130

portada proof in vdm: a practitioner's guide (en Inglés)

proof in vdm: a practitioner's guide (en Inglés)

Formato

Libro Físico

Autor

Editorial

Año

1993

Idioma

Inglés

N° páginas

362

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 2.0 cm

Peso

0.53 kg.

ISBN

354019813x

ISBN13

9783540198130

Categorías

Programación informática/desarrollo de software

proof in vdm: a practitioner's guide (en Inglés)

John Fitzgerald (Autor) · Juan C. Bicarregui (Autor) · Peter A. Lindsay (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 24 a 30 días háb.

$ 194.517$ 97.259

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 100 unidades

$ 97.259

Llega entre el 18 Ago y el 26 Ago a C.A.B.A., Ciudad Autónoma de Buenos Aires. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "proof in vdm: a practitioner's guide (en Inglés)"

Formal specifications were first used in the description of program- ming languages because of the central role that languages and their compilers play in causing a machine to perform the computations required by a programmer. In a relatively short time, specification notations have found their place in industry and are used for the description of a wide variety of software and hardware systems. A formal method - like VDM - must offer a mathematically-based specification language. On this language rests the other key element of the formal method: the ability to reason about a specification. Proofs can be empioyed in reasoning about the potential behaviour of a system and in the process of showing that the design satisfies the specification. The existence of a formal specification is a prerequisite for the use of proofs; but this prerequisite is not in itself sufficient. Both proofs and programs are large formal texts. Would-be proofs may therefore contain errors in the same way as code. During the difficult but inevitable process of revising specifications and devel- opments, ensuring consistency is a major challenge. It is therefore evident that another requirement - for the successful use of proof techniques in the development of systems from formal descriptions - is the availability of software tools which support the manipu- lation of large bodies of formulae and help the user in the design of the proofs themselves.

Opiniones del libro

¿Leíste este libro? Inicia sesión para poder agregar tu propia evaluación.

Ver más opiniones de clientes

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes

proof in vdm: a practitioner's guide (en Inglés) - Bicarregui, Juan C. ; Fitzgerald, John ; Lindsay, Peter A.

Reseña del libro "proof in vdm: a practitioner's guide (en Inglés)"

Opiniones del libro

Preguntas frecuentes sobre el libro

¿El libro es original?

¿En qué Idioma está escrito el libro?

¿Cuál es la encuadernación de este libro?

Preguntas y respuestas sobre el libro

Opiniones sobre Buscalibre