The volumes published in the AMAST Series in Computing contain presentations of those algebraic methods used for software development which are both theoretically well founded and efficiently implemented. The goal of these volumes is to provide comprehensive mathematical alternatives for software design and implementation. The scope of this series includes all areas of computer science.
To publish your research in the AMAST Series in Computing please contact the Managing Editor:
T. Rus
Department of Computer Science, The University of Iowa
Iowa City, IA 52242, USA. E-mail: rus@cs.uiowa.edu
To order contact one of the Publisher's offices:
USA:
World Scientific Publishing Co., Inc.
1060 Main Street, River Edge, NJ 07661
Toll-free: +1 800 2277562, fax: +1 201 4879656
e-mail: wspub@tigger.jvnc.net
Europe:
World Scientific Publishing Co. Ltd.
57 Shelton Street, London WC2H 9HE, England, UK
Tel: +44 71 8360888, fax: +44 71 8362020
e-mail: wspc@wspc.demon.co.uk
Singapore:
World Scientific Publishing Co. Pte. Ltd.
Farrer Road, P O Box 128, Singapore 9128
Tel: +65 3825663, fax: +65 3825919
e-mail: worldscp@singnet.com.sg
Hong Kong:
World Scientific Publishing (HK) Co.
P O Box 72482, Kowloon Central Post Office, Hong Kong
Tel: +852 2 7718791, fax: +852 2 7718155
India:
World Scientific Publishing Co. Pte. Ltd.
4911, 9th Flr, High Point IV, 45 Palace Rd, Bangalore 560 001, India
Tel: +91 80 2205972, Fax: +91 80 3344593, Tlx: 0845-2900 PCO IN