Algebraic Methodology and Software Technology (AMAST'91)

Algebraic Methodology and Software Technology (AMAST'91)
Author :
Publisher : Springer
Total Pages : 436
Release :
ISBN-10 : UCSC:32106011727424
ISBN-13 :
Rating : 4/5 ( Downloads)

Book Synopsis Algebraic Methodology and Software Technology (AMAST'91) by : M. Nivat

Download or read book Algebraic Methodology and Software Technology (AMAST'91) written by M. Nivat and published by Springer. This book was released on 1994 with total page 436 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Algebraic Methodology and Software Technology (AMAST'91) Related Books

Algebraic Methodology and Software Technology (AMAST'91)
Language: en
Pages: 436
Authors: M. Nivat
Categories: Computers
Type: BOOK - Published: 1994 - Publisher: Springer

DOWNLOAD EBOOK

Algebraic Methodology and Software Technology (AMAST'91)
Language: en
Pages: 598
Authors: Maurice Nivat
Categories: Computers
Type: BOOK - Published: 1992 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the proceedings of the Second International Conference on Algebraic Methodology and Software Technology (AMAST '91). The aim of the AMAST c
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

DOWNLOAD 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
Algebraic Methodology and Software Technology (AMAST'91)
Language: en
Pages: 440
Authors: M. Nivat
Categories: Computers
Type: BOOK - Published: 1994 - Publisher: Springer

DOWNLOAD EBOOK

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Language: en
Pages: 401
Authors: Roland Backhouse
Categories: Computers
Type: BOOK - Published: 2003-07-31 - Publisher: Springer

DOWNLOAD EBOOK

Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program constr