J. B. Wordsworth

Identifiers

Open LibraryOL412663A

Top Subjects

Formal methods (Computer science) (1)
Z (Computer program language) (1)
Computer software -- Development. (1)
Software engineering (1)
B (Computer program language) (1)

Books by J. B. Wordsworth

Total count: 2

Software development with Za practical approach to formal methods in software engineering

Addison-Wesley Pub. Co.1992-01-01
Software engineering with B

Addison-Wesley1996-01-01