Proceedings of the First International Conference on Algebraic Methodology and Software Technology

Proceedings of the First International Conference on Algebraic Methodology and Software Technology
Author: University of Iowa
Publisher:
Total Pages:
Release: 1989
Genre:
ISBN:

Download Proceedings of the First International Conference on Algebraic Methodology and Software Technology Book in PDF, Epub and Kindle


Proceedings of the First International Conference on Algebraic Methodology and Software Technology
Language: en
Pages:
Authors: University of Iowa
Categories:
Type: BOOK - Published: 1989 - Publisher:

GET EBOOK

Proceedings of the First International Conference on Algebraic Methodology and Software Technology, May 22-24, 1989, the University of Iowa, Iowa City, Iowa
Language: en
Pages: 0
Authors:
Categories:
Type: BOOK - Published: 1989 - Publisher:

GET EBOOK

Partial contents include: (1) Minimal Finite Transition Systems, (2) Algebra of Communicating Processes, (3) Display of Graphics and their Applications, as Exem
Proceedings of the First International Conference Algebraic Methodology and Software Technology, May 22-24, 1989, The University of Iowa, Iowa City, Iowa
Language: en
Pages: 206
Authors: Conference on Algebraic Methodology and Software Technology
Categories:
Type: BOOK - Published: 1989 - Publisher:

GET EBOOK

Algebraic Methodology and Software Technology
Language: en
Pages: 556
Authors: Teodor Rus
Categories: Computers
Type: BOOK - Published: 2003-06-26 - Publisher: Springer

GET EBOOK

The AMAST movement was initiated in 1989 with the First International C- ference on Algebraic Methodology and Software Technology (AMAST), held on May 21{23in I
Algebraic Methodology and Software Technology (AMAST’93)
Language: en
Pages: 429
Authors: Maurice Nivat
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

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 mathem