Artículos relacionados a Algebraic Methodology and Software Technology (Amast'93)...
Algebraic Methodology and Software Technology (Amast'93): Proceedings of the Third International Conference on Algebraic Methodology and Software ... 21-25 June 1993 (Workshops in Computing) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
Reseña del editor
This volume contains papers presented at the Third International Conference on Algebraic Methodology and Sofware Technology (AMAST'93), held at the University of Twente, The Netherlands, 21-25 June 1993. The AMAST conferences aim to promote the use of algebraic methodology as a foundation for software technology, and to examine how universal algebra can provide practical mathematical alternatives to the ad hoc methods commonly used in software development. They are only conferences to focus specifically on this important area of research. The resulting volume covers a variety of software development issues, and testifies to the versatility of algebraic methods when used as conceptual tools in the software development process. The papers present original research in a range of areas, and include a distinguished collection of invited papers by leading researchers in the field. The volume also includes descriptions of six software systems which have been developed using algebraic methods, techniques and tools. Among the topics covered in this volume are: - Algebraic metamathematics; - Functional programming; - Category theory in software engineering; - Modular system design; - Real-time system specification; - Testing theory and applications; - Algebraic semantics of concurrency; - Modal logics and reactive systems; - Design and refinement priciples; - Equational and logic programming; - Algebraic specification in software engineering.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 48,31
EUR 7,66 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Algebraic Methodology and Software Technology (Amast'93)...
Imagen de archivo
Algebraic Methodology and Software Technology (AMAST'93): Proceedings of the Third International Conference on Algebraic Methodology and Software ... 21-25 June 1993 (Workshops in Computing)
Librería: Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. SUPER FAST SHIPPING. Nº de ref. del artículo: 9783540198529
Cantidad disponible: 4 disponibles
Imagen de archivo
Algebraic Methodology and Software Technology (AMAST'93): Proceedings of the Third International Conference on Algebraic Methodology and Software ... 21-25 June 1993 (Workshops in Computing)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020162250
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
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
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 20184576-n
Cantidad disponible: 15 disponibles
Imagen de archivo
Algebraic Methodology and Software Technology (AMAST93) (Paperback)
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1993
ISBN 10: 3540198520
ISBN 13: 9783540198529
Nuevo
Paperback
Librería: Grand Eagle Retail, Mason, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: new. Paperback. This volume contains papers presented at the Third International Conference on Algebraic Methodology and Software Technology (AMAST'93), held at the University of Twente, the Netherlands, 21-25 June 1993. The AMAST conferences aim to promote the use of algebraic methodology as a foundation for software technology, and to examine how universal algebra can provide practical mathematical alternatives to the ad hoc methods commonly used in software development. They are the only conferences to focus specifically on this important area of research. The resulting volume covers a variety of software development issues, and testifies to the versatility of algebraic methods when used as conceptual tools in the software development process. The papers present original research in a range of areas, and include a distinguished collection of invited papers by leading researchers in the field. The volume also includes descriptions of six software systems which have been developed using algebraic methods, techniques and tools.Among the topics covered in this volume are: Algebraic metamathematics; Functional programming; Category theory in software engineering; Modular system design; Real-time system specification; Testing theory and applications; Algebraic semantics of concurrency; Modal logics and reactive systems; Design and refinement principles; Equational and logic programming; Algebraic specification in software engineering. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9783540198529
Cantidad disponible: 1 disponibles
Imagen del vendedor
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
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 20184576
Cantidad disponible: 15 disponibles
Imagen de archivo
Algebraic Methodology and Software Technology (AMAST'93): Proceedings of the Third International Conference on Algebraic Methodology and Software ... 21-25 June 1993 (Workshops in Computing)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540198529_new
Gastos de envío:
EUR 13,74
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Algebraic Methodology and Software Technology (AMAST'93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Tec
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783540198529
Gastos de envío:
EUR 17,76
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 10 disponibles
Imagen de archivo
Algebraic Methodology and Software Technology (Amast '93)
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1993
ISBN 10: 3540198520
ISBN 13: 9783540198529
Nuevo
Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: New. 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. Editor(s): Nivat, Maurice; Rattray, Charles; Rus, Teodor; Scollo, Giuseppe. Series: Workshops in Computing. Num Pages: 416 pages, biography. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 23. Weight in Grams: 710. . 1993. Softcover reprint of the original 1st ed. 1994. Paperback. . . . . Nº de ref. del artículo: V9783540198529
Gastos de envío:
EUR 10,50
De Irlanda a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 15 disponibles
Imagen de archivo
Algebraic Methodology and Software Technology (AMAST'93)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 436. Nº de ref. del artículo: 2698070407
Cantidad disponible: 4 disponibles
Imagen de archivo
Algebraic Methodology and Software Technology (AMAST'93)
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Print on Demand pp. 436 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Nº de ref. del artículo: 95408216
Gastos de envío:
EUR 7,45
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 4 disponibles