Foundations of Algebraic Specification and Formal Software Development, Fachbücher von Andrzej Tarlecki, Donald Sannella

Foundations Of Algebraic Specification And Formal Software Development

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

Algebraic Foundations of Software Engineering, Fachbücher von Samir Lemes

Foundations of Software Science and Computation Structures, Fachbücher von Andrzej S. Murawski, Javier Esparza

Algebraic Foundations Of Software Engineering Software Engineering

Specification and Analysis of Software Architectures, Fachbücher

Predictive Software Measures Based on Formal Z Specifications, Fachbücher von Abdollah Tabareh

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

Specification, Algebra, and Software, Fachbücher

Formal Methods and Software Engineering, Fachbücher von Mark Liu, Kazuhiro Lawford, Shaoying, Ogata

Formal Engineering for Industrial Software Development, Fachbücher von Shaoying Liu

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

Hussmann | Nondeterminism In Algebraic Specifications And Algebraic

W. K. Giloi (u. A.) | The Use Of Formal Specification Of Software |

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