Opening book details…
Can I read Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes in Computer Science, 5140) on EtoBox?
Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes in Computer Science, 5140) by Rajeev Alur (auth.), José Meseguer, Grigore Roşu (eds.) is a nonfiction available to read on EtoBox.
What is Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes in Computer Science, 5140) about?
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions. Among the topics covered are all current issues in formal methods related to algebraic and logical foundations, software technology, and to programming methodology including concurrent and reactive systems, evolutionary software/adaptive systems, logic and functional programming, object paradigms, constraint programming and concurrency, program verification and transformation, programming calculi, specification languages and tools, formal specification and development case studies, logic, category theory, relation algebra, computational algebra, algebraic foundations for languages and systems, coinduction, theorem proving and logical frameworks for reasoning, logics of programs, as well as algebra and coalgebra. Erscheinungsdatum: 15.07.2008
Who reads Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes in Computer Science, 5140)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Rajeev Alur (auth.), José Meseguer, Grigore Roşu (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2008
- Language
- EN
- ISBN
- 9783540799801
- Category
- nonfiction
- Subjects
- Computer Science, Engineering, Mathematics
Other editions & translations
More by Rajeev Alur (auth.), José Meseguer, Grigore Roşu (eds.)
Browse all works by Rajeev Alur (auth.), José Meseguer, Grigore Roşu (eds.)
Similar books
- 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: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science, 3116) — Roland Backhouse (auth.), Charles Rattray, Savitri Maharaj, Carron Shankland (2004)
- 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: 4th International Conference, Amast '95, Montreal, Canada, July 3-7, 1995. Proceedings (lecture Notes In Computer Science) — David Gries (auth.), V. S. Alagar, Maurice Nivat (1995)
- Algebraic methodology and software technology : 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings — Slim Ben Lamine, John Plaice (auth.), Michael Johnson (1997)
- 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)