Algebraic specification

By

Algebraic Methods II: Theory, Tools, And Applications

By J. A., J. A. Bergstra, Bergstra, N. W. P. Van Diepen, H. A. Partsch (Auth.), J. A. Bergstra, L. M. G. Feijs (Eds.)

The Proper Treatment And Choice Of The Basic Data Structures Is An Important And Complex Part In The Process Of Program Construction. Algebraic Methods Provide Techniques For Data Abstraction And T...

Handbook Of Network And System Administration

By J. A. Bergstra, Jan; Burgess, Mark Bergstra

System administration is about the design, running and maintenance of human-computer systems. Examples of human-computer systems include business enterprises, service institutions and any extensive...

Handbook of Process Algebra

By

Algebraic Methods Ii: Theory, Tools And Applications

By Jan A Bergstra, Loe M G Feijs, J. A. Bergstra, Bergstra, N. W. P. Van Diepen, H. A. Partsch (Auth.), J. A. Bergstra, L. M. G. Feijs (Eds.), Jan A. [Editor]; Feijs, Loe M.G. [Editor];

The Proper Treatment And Choice Of The Basic Data Structures Is An Important And Complex Part In The Process Of Program Construction. Algebraic Methods Provide Techniques For Data Abstraction And T...

Handbook Of Network And System Administration

By Mark Burgess, J. A. Bergstra, Jan Bergstra

Handbook of Process Algebra

By J. A. Bergstra, S. A. Smolka, A. Ponse

Promise Theory

By Mark Burgess, Jan A Bergstra

Promise Theory

By Mark Burgess, Jan A. Bergstra

Instruction Sequences for Computer Science

By Cornelis A. Middelburg, Jan A. Bergstra