Artículos relacionados a Practical Formal Methods with Vdm (McGraw Hill International...
Practical Formal Methods with Vdm (McGraw Hill International Series in Software Engineering) - Tapa blanda
Sinopsis
This book reflects the increased amount of emphasis placed on the mathematical methods of software development in undergraduate computer science courses. The VDM notation is described in detail, with each chapter starting with an Overview/Motivation Section. It then goes on to summarize the syntax of the VDM used. Objectives and aims are stated and the progress of the student is judged by self-assessment procedures.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
This book reflects the increased amount of emphasis placed on the mathematical methods of software development in undergraduate computer science courses. The VDM notation is described in detail, with each chapter starting with an Overview/Motivation Section. It then goes on to summarize the syntax of the VDM used. Objectives and aims are stated and the progress of the student is judged by self-assessment procedures.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Practical Formal Methods with Vdm (McGraw Hill International...
Imagen de archivo
Practical Formal Methods with VDM
Publicado por
McGraw-Hill Education, 1991
ISBN 10: 0077072146
ISBN 13: 9780077072148
Antiguo o usado
Tapa blanda
Librería: Better World Books Ltd, Dunfermline, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Ships from the UK. Used book that is in clean, average condition without any missing pages. Nº de ref. del artículo: 50161871-20
Cantidad disponible: 1 disponibles