Archive
Scientific foreign trips
Scientific trip to Italy (1982)
Materials brought from Capri
Article
Article
"A Practical Method for Testing Algebraic Specification" by J.Tardo, J.Goguen, N.Williamson".

Original document language: English
Authors: Joseph Goguen

Images of pages:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
21 22


Back
Next document (Slides)
Previous document (Article)

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016