Algebraic Methodology and Software Technology (AMAST'93)

Name: Algebraic Methodology and Software Technology (AMAST'93)
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540198529
Price: 50.13 EUR
Availability: InStock

Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21-25 June 1993

Autor: Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.13 €

The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software te...

Informácie o knihe

Autor

Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

1993

Stránok

416

EAN

9783540198529

ISBN

3540198520

Enbook ID

05273673

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

710

Rozmery

155 x 235 x 24

Kompletný popis

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. The first two AMAST conferences, held in May 1989 and May 1991 at the University of Iowa, were well received and encouraged the regular organization of further AMAST conferences on a biennial schedule. 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. 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. AMAST'93 was opened by the Rector of the University of Twente, followed by the Local Chairman. Their opening addresses open this proceedings, too. The proceedings contains 8 invited papers and 32 selected communica tions. The selection was very strict, for 121 submissions were received.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Algebraic Methodology and Software Technology (AMAST'93)

Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21-25 June 1993

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež