Software engineering mathematics

This book makes the mathematical basis of formal methods accessible both to the student and to the professional. It is motivated in the later chapters by examples and exercises. Throughout, the premise is that mathematics is as essential to design and construction in software engineering as it is to...

Full description

Saved in:
Bibliographic Details
Main Author: Woodcock, Jim (Author)
Other Authors: Loomes, Martin
Format: Book
Language:English
Published: London Pitman 1988
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!