Charles Rattray

Titel	ISBN-13	Erschei- nungsjahr	andere Autoren
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings	978-3-540-22381-8	2008	Savitri Maharaj
Algebraic Methodology and Software Technology	978-0-387-19852-1	1994	M. Nivat · Teodor Rus
Algebraic Methodology and Software Technology	978-0-387-19797-5	1992	M. Nivat · Teodor Rus
Algebraic Methodology and Software Technology : Proceedings of the Second International Conference on Algebraic Methodology and Software ... USA, 22-25 May 1991	978-3-540-19797-3	1992	Maurice Nivat · Teodor Rus · Giuseppe Scollo
Algebraic Methodology and Software Technology : Proceedings of the Third International Conference on Algebraic Methodology and Software ... 21-25 June 1993	978-3-540-19852-9	1993	Maurice Nivat · Teodor Rus · Giuseppe Scollo
Rationalist Traces	978-0-470-02837-7	2007	Torsten Schmiedeknecht · Andrew Peckham
Specification and Verification of Concurrent Systems	978-3-540-19581-8	1990