BOTTACI, Leonardo Jones, John

Formal specification using z: a modelling approach / [by] Leonardo Bottaci, John Jones - London Internatonal Thomson pub. 1995 - xii, 320 p.

Includes bibliography & appendix.

1850321094


Algorithms

518.1 / BOT