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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Otras ediciones populares con el mismo título
Resultados de la búsqueda para Formal Methods Fact File: VDM and Z (Software Engineering...
Imagen de archivo
Formal Methods Fact File: VDM and Z (Wiley Series in Software Engineering Practice)
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Acceptable. Used - Acceptable. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library with wear and barcode page may have been removed. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Nº de ref. del artículo: Z1-B-028-01832
Comprar usado
EUR 141,77
Gastos de envío:
EUR 12,08
De Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Formal Methods Fact File: VDM and Z (Wiley Series in Software Engineering Practice)
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Nº de ref. del artículo: Z1-B-031-01697
Comprar usado
EUR 141,77
Gastos de envío:
EUR 12,08
De Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods Fact File: VDM and Z (Wiley Series in Software Engineering Practice)
Publicado por
Wiley (edition 1), 1996
ISBN 10: 0471940062
ISBN 13: 9780471940067
Antiguo o usado
Paperback
Librería: BooksRun, Philadelphia, PA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Good. 1. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience. Nº de ref. del artículo: 0471940062-11-1
Comprar usado
EUR 158,04
Gastos de envío:
GRATIS
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods Fact File: VDM and Z (Wiley Series in Software Engineering Practice)
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_346798065
Comprar usado
EUR 158,24
Gastos de envío:
EUR 3,24
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods Fact File: Vdm and Z (Wiley Series in Software Engineering Practice)
Publicado por
John Wiley & Sons Ltd, 1996
ISBN 10: 0471940062
ISBN 13: 9780471940067
Antiguo o usado
Tapa blanda
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Gut. Zustand: Gut | Seiten: 386 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 38615802/3
Comprar usado
EUR 77,34
Gastos de envío:
EUR 105,00
De Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles