Name: Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science) (en Inglés)
Price: 55.46 USD
Availability: InStock
Author: Feijs, L. M. G. ; Jonkers, H. B. M.
ISBN: 9780521435925

portada Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science) (en Inglés)

Formato

Libro Físico

Autor

L. M. G. Feijs

H. B. M. Jonkers

Editorial

Cambridge University Press

Año

2005

Idioma

Inglés

N° páginas

352

Encuadernación

Tapa Blanda

Dimensiones

24.4 x 17.0 x 1.9 cm

Peso

0.56 kg.

ISBN

0521435927

ISBN13

9780521435925

N° edición

Categorías

Lenguajes de programación scripting

Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science) (en Inglés)

L. M. G. Feijs (Autor) · H. B. M. Jonkers (Autor) · Cambridge University Press · Tapa Blanda

Libro Físico

$ 55.46

$ 61.99

Ahorras: $ 6.53

11% descuento

Envío Express Gratis

Se enviará desde nuestra bodega entre el Lunes 20 de Mayo y el Martes 21 de Mayo.

Lo recibirás en cualquier lugar de Estados Unidos entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science) (en Inglés)"

Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants and black-box correctness are also presented. More advanced ideas, for example Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design are emphasised throughout, so the book will be an excellent choice for courses in these areas.

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

Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science) (en Inglés) - Feijs, L. M. G. ; Jonkers, H. B. M.

Reseña del libro "Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science) (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