1994

The construction of formal specifications : an introduction to the model-based and algebraic approaches

Turner, J. G. (John G.), 1946-

London ; New York : McGraw-Hill, [1994]

Request It 

1994

Introducing specification using Z : a practical case study approach

Ratcliff, B.

London ; New York : McGraw-Hill, [1994]

Request It 

1991

Object-oriented databases and their applications to software engineering

Brown, Alan W., 1962-

London ; New York : McGraw-Hill, [1991]

Request It 

1994

A programming approach to formal methods

Casey, Chris.

London ; New York : McGraw-Hill Book Co., [1994]

Request It 

1994

Specification and design of concurrent systems

Mett, Percy, 1945-

London ; New York : McGraw-Hill Book Co., [1994]

Request It 

1995

System requirements engineering

Loucopoulos, P. (Pericles)

London : McGraw-Hill, [1995]

Request It