Algebraic Methodology and Software Technology - 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings (Paperback, 1997 ed.)

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, AMAST'97, held in Sydney, Australia, in December 1997. The volume presents 48 revised full papers selected from an unusually high number of submissions. One of the outstanding features of AMAST is its mix of serious mathematical development of formal methods in software engineering with practical concerns, tools, case studies, and industrial development. The volume addresses all current aspects of formal methods in software engineering and programming methodology, with a certain emphasis on algebraic and logical foundations.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1349
Release date:	December 1997
First published:	1997
Editors:	Michael Johnson
Dimensions:	235 x 155 x 31mm (L x W x T)
Format:	Paperback
Pages:	602
Edition:	1997 ed.
ISBN-13:	978-3-540-63888-9
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > Software engineering
LSN:	3-540-63888-1
Barcode:	9783540638889

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!