Foundations of Algebraic Specification and Formal Software Developmentde SpringerEdiciones (1)Foundations of Algebraic Specification and Formal Software Development (2012)Springer · ISBN 9783642173370Más obras de SpringerBiomethanationAlgebraische Transformationsgruppen und Invariantentheorie =
Séminaire Bourbaki: Vol. 1979/80. Exposés 543-560 Avec table par noms d'auteurs de 1967/68 a 1979/80 (Lecture Notes in Mathematics) (French and English Edition)
