cdc-coteauxdegaronne
» » Algebraic Methodology and Software Technology (Workshops in Computing)
eBook Algebraic Methodology and Software Technology (Workshops in Computing) ePub

eBook Algebraic Methodology and Software Technology (Workshops in Computing) ePub

by M. Nivat,Charles Rattray,Teodor Rus,G. Scollo

  • ISBN: 0387197974
  • Category: Programming
  • Subcategory: Computers
  • Author: M. Nivat,Charles Rattray,Teodor Rus,G. Scollo
  • Language: English
  • Publisher: Springer Verlag (October 1, 1992)
  • Pages: 572
  • ePub book: 1124 kb
  • Fb2 book: 1601 kb
  • Other: azw mbr mobi docx
  • Rating: 4.3
  • Votes: 994

Description

Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo. Workshops in Computing.

Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo. The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-ho. More). Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991. Maurice Nivat, Charles Rattray, Giuseppe Scollo, Teodor Rus. AMAST.

In: Nivat . Rattray . Rus . Scollo G. (eds) Algebraic Methodology and Software Technology (AMAST’93). Publisher Name Springer, London. Print ISBN 978-3-540-19852-9. Online ISBN 978-1-4471-3227-1. eBook Packages Springer Book Archive.

Algebraic Methodology and Software Technology (AMAST '91) : Proceedings of the . by Maurice Nivat, Teodor Rus, Charles Rattray.

Algebraic Methodology and Software Technology (AMAST '91) : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology. The Workshops in Computing series is the result of a collaborative venture between the British Computer Society and Springer-Verlag. It is international in scope. The third Conference on Algebraic Methodology and Software Technology was held in the campus of the University of Twente, The Netherlands, during the first week of Summer 1993. Pages 1-1. Welcoming Address AMAST’93. Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo. Pages 2-2. Invited Papers. Nearly a hundred people from all continents attended the conference. The largest interest received by the AMAST conference among the professionals extended to include the administration organizations as well.

Algebraic Methodology and Software Technology (AMAST'93). Workshops in computing). Published in collaboration with the British Computer Society. Includes bibliographical references and index. Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21-25 June 1993. Teodor Rus, PhD Department of Computer Science University of Iowa, Iowa City, IA 52242, USA. Giuseppe Scollo, PhD Fac. Informatica, University of Twente PO Box 217, NL-7500 AE Enschede, The Netherlands.

by M. Nivat, Charles Rattray, Teodor Rus. ISBN 9780387198521 (978-0-387-19852-1) Softcover, Springer Verlag, 1994. Find signed collectible books: 'Algebraic Methodology and Software Technology (Workshops in Computing)'.

Find nearly any book by Charles Rattray . Get the best deal by comparing prices from over 100,000 booksellers. by M. Algebraic Methodology and Software Technology (Workshops in Computing): ISBN 9780387198521 (978-0-387-19852-1) Softcover, Springer Verlag, 1994.

Algebraic Methodology and Software Technology (AMAST '93) . Teodor Rus. Giuseppe Scollo.

Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993. The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development.

Описание: This volume of workshop proceedings covers a variety of software development issues and testifies to the versatility of algebraic methods used as conceptual tools in the software development process. It describes six specific software systems which have been developed using algebraic methods.

Author Nivat, Maurice, Nivat, . Nivat, M, Rattray, Charles, Rus, Teodor, Scollo, G. ISBN 0387197974. ISBN13: 9780387197975. More Books . ABOUT CHEGG.