Este es el que agregas al carrito
Software Development With Z
A Practical Approach to Formal Methods in Software Engineering
Autores
Más información sobre el libro
This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.
Compra de libros
Software Development With Z, J. B. Wordsworth
- Idioma
- Publicado en
- 1992
- Encuadernación
- (Tapa blanda),
- Estado del libro
- Bueno
- Precio
- 6,09 €
Métodos de pago
Nadie lo ha calificado todavía.
- Título
- Software Development With Z
- Subtítulo
- A Practical Approach to Formal Methods in Software Engineering
- Idioma
- Inglés
- Autores
- J. B. Wordsworth
- Editorial
- Addison-Wesley
- Publicado en
- 1992
- Formato
- Tapa blanda
- Páginas
- 400
- ISBN10
- 0201627574
- ISBN13
- 9780201627572
- Serie
- Etiquetas
- Desarrollo
- Descripción
- This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.