Software Engineering mathematics: formal methods demystefied

Bibliographic Details
Main Author: Jim Woodcock Martin Loomes
Format: Printed Book
Language:English
Published: Pitman 1989
Description
Physical Description:291
ISBN:0-273-02673-9

Similar Items