Algebraic methodology and software technology (AMAST '91): proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991

Maurice Nivat; Charles Rattray; Teodor Rus; Giuseppe Scollo

Algebraic methodology and software technology (AMAST '91): proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991

Maurice Nivat
, Charles Rattray
, Teodor Rus
, Giuseppe Scollo

Research output: Book/Report › Book › Academic

Original language	English
Place of Publication	Londen
Publisher	Springer
Number of pages	572
ISBN (Print)	9780387197975, 9783540197973
Publication status	Published - 1992
Event	2nd International Conference on Algebraic Methodology and Software Technology, AMAST 1991 - Iowa City, United States Duration: 22 May 1991 → 25 May 1991 Conference number: 2

Publication series

Name	Workshops in computing
Publisher	Springer

Cite this

@book{8fdf3f702d1247d7a36638fd7bb26733,

title = "Algebraic methodology and software technology (AMAST '91): proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991",

author = "Maurice Nivat and Charles Rattray and Teodor Rus and Giuseppe Scollo",

year = "1992",

language = "English",

isbn = "9780387197975",

series = "Workshops in computing",

publisher = "Springer",

address = "Germany",

note = "2nd International Conference on Algebraic Methodology and Software Technology, AMAST 1991, AMAST ; Conference date: 22-05-1991 Through 25-05-1991",

}

TY - BOOK

T1 - Algebraic methodology and software technology (AMAST '91)

T2 - 2nd International Conference on Algebraic Methodology and Software Technology, AMAST 1991

AU - Nivat, Maurice

AU - Rattray, Charles

AU - Rus, Teodor

AU - Scollo, Giuseppe

N1 - Conference code: 2

PY - 1992

Y1 - 1992

M3 - Book

SN - 9780387197975

SN - 9783540197973

T3 - Workshops in computing

BT - Algebraic methodology and software technology (AMAST '91)

PB - Springer

CY - Londen

Y2 - 22 May 1991 through 25 May 1991

ER -