Michel Bidoit (u. A.) | Algebraic System Specification And Development

Foundations Of Algebraic Specification And Formal Software Development

Hussmann | Nondeterminism In Algebraic Specifications And Algebraic

Andrzej Tarlecki (u. A.) | Foundations Of Algebraic Specification And

Johan Lewi (u. A.) | Algebraic Specifications In Software Engineering

Didier Bert (u. A.) | Zb 2002: Formal Specification And Development In

Bernd Mahr (u. A.) | Fundamentals Of Algebraic Specification 2 | Buch

Horst Reichel | Initial Computability, Algebraic Specifications, And

Jens Palsberg | Semantics And Algebraic Specification | Taschenbuch |

Michel Verhaegen (u. A.) | Filtering And System Identification |

Martin Wirsing (u. A.) | Recent Trends In Algebraic Development

Gianna Reggio (u. A.) | Recent Trends In Algebraic Development

Adam Morawiec (u. A.) | System Specification And Design Languages |

José Luiz Fiadeiro (u. A.) | Recent Trends In Algebraic Development

Semantics And Algebraic Specification Essays Dedicated To Peter D.

Mihai Codescu (u. A.) | Recent Trends In Algebraic Development