PakCat catalogue record

Software engineering mathematics

formal methods demystified.

By Woodcock, Jim

Bibliographic details

ISBN
0273026739
Publisher
Addison-Wesley Pub. Co.
Publication place
Reading, Mass.
Publication year
1988
Edition
North American ed.
Language
English
Material type
Book
Physical description
xii, 291p.

Additional authors

Loomes, Martin.

Subjects

Software engineering

Related catalogue records

Using Z Woodcock, Jim Software Engineering Aggarwal, K K Software engineering Sommerville, Ian Classical and object-oriented software engineering Schach, Stephen R. Software project management Kemerer, Chris F. Data structures, algorithms, and software principles Standish, Thomas A. Trustworthy systems through quantitative software engineering Yuhas, C. M. Software engineering Pressman, Roger S.