Opening book details…
Can I read Algebraic methodology and software technology : 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings on EtoBox?
Algebraic methodology and software technology : 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings by Slim Ben Lamine, John Plaice (auth.), Michael Johnson (eds.) is a nonfiction available to read on EtoBox.
What is Algebraic methodology and software technology : 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings about?
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. Erscheinungsdatum: 01.12.1997
Who reads Algebraic methodology and software technology : 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Slim Ben Lamine, John Plaice (auth.), Michael Johnson (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 1997
- Language
- EN
- ISBN
- 9783540696612
- Category
- nonfiction
- Subjects
- Mathematics, Engineering, Programming
More by Slim Ben Lamine, John Plaice (auth.), Michael Johnson (eds.)
Browse all works by Slim Ben Lamine, John Plaice (auth.), Michael Johnson (eds.)
Similar books
- Algebraic methodology and software technology : 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings — J. S. Fitzgerald (auth.), Martin Wirsing, Maurice Nivat (1996)
- 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 — Maurice Nivat, Charles Rattray BSc, MSc, FIMA, FBCS, C.Eng., C.Math., Teodor Rus PhD (auth.), Maurice Nivat, Charles Rattray BSc, MSc, FIMA, FBCS, C.Eng., C.Math., Teodor Rus PhD, Giuseppe Scollo (1994)
- Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering) — José Meseguer, Grigore Rosu (2008)
- Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings — David Aspinall, Donald Sannella (auth.), Hélène Kirchner, Christophe Ringeissen (2002)
- Algebraic Methodology And Software Technology: 11th International Conference, Amast 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings (lecture Notes In Computer Science) — Ralph-Johan Back (auth.), Michael Johnson, Varmo Vene (2006)
- Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers (Lecture Notes in Computer Science, 6486) — Jie Ding, Jane Hillston (auth.), Michael Johnson, Dusko Pavlovic (2011)