Programming Techniques; Software Engineering; Logi

Programming and Mathematical Method: International Summer School

1992 · ENGLISH · DJVU

View details →

On a Method of Multiprogramming

1999 · ENGLISH · PDF

View details →

Programming and Mathematical Method: International Summer School

1992 · ENGLISH · PDF

View details →

Algebraic Foundations of Systems Specification

1999 · ENGLISH · PDF

View details →

Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

2000 · ENGLISH · PDF

View details →

ECOOP 2000 — Object-Oriented Programming: 14th European Conference Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings

2000 · ENGLISH · PDF

View details →

FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings

1993 · ENGLISH · DJVU

View details →

Algebraic Specification Techniques in Object Oriented Programming Environments

1991 · ENGLISH · DJVU

View details →

Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

2000 · ENGLISH · PDF

View details →

Mathematics of Program Construction: 375th Anniversary of the Groningen University International Conference Groningen, The Netherlands, June 26–30, 1989 Proceedings

1989 · ENGLISH · DJVU

View details →