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
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