Software engineering mathematics : formal methods demystified

Bibliographic Details
Main Author: Woodcock, Jim
Other Involved Persons: Loomes, Martin
Format: Book
Language:English
Published: London : Pitman 1991
Edition:2. print
ISBN:0273026739
9780273026730
Physical Description:291 S. graph. Darst
Subjects:
QR Code: Show QR Code