Practical Formal Methods With Vdm - Brossura

Andrews, Derek; Ince, Darrel

Brossura

ISBN 10: 0077072146 ISBN 13: 9780077072148

Casa editrice: McGraw-Hill College, 1991

Riassunto

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.

Dettagli dell?edizione

• Editore: McGraw-Hill College
• Data di pubblicazione: 1991
• Lingua: Inglese
• ISBN 10: 0077072146
• ISBN 13: 9780077072148
• Rilegatura: Copertina flessibile
• Numero di pagine: 480
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile