D. Sannella

D. Sannella

2 ספרים במאגר

ספרים

Recent Trends in Data Type SpecificationD. Sannella

Recent Trends in Data Type Specification

D. Sannella · 1988

Foundations of Algebraic Specification and Formal Program DevelopmentD. Sannella

Foundations of Algebraic Specification and Formal Program Development

ספרים משותפים ואוספים

ספרים שבהם D. Sannella מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Algebraic system specification and developmentM. Bidoit

Algebraic system specification and development

M. Bidoit · 1991