Pages that link to "Item:Q1575829"
From MaRDI portal
The following pages link to Algebraic methodology and software technology. Selected papers of the 5th international conference, AMAST '96, Munich, Germany, July 1--5, 1996 (Q1575829):
Displaying 4 items.
- Algebraic methodology and software technology. 6th international conference, AMAST '97, Sidney, Australia, December 13--17, 1997. Proceedings (Q1374897) (← links)
- Special issue: Methods of software design: techniques and applications. Selected, revised and extended versions based on the presentation at the 6th international conference on the mathematics of program construction (MPC2002), Schloß\ Dagstuhl, Germany, (Q1781065) (← links)
- Algebraic methodology and software technology. 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9--13, 2002. Prodeedings. (Q1880561) (← links)
- (Q3998253) (← links)