Title: Algebraic Methodology And Software Technology 12th International Conference Amast 2008 Urbana Il Usa July 2831 2008 Proceedings
Subjects: Logic design, Computer science, Software engineering, Algebra, Data processing, Artificial intelligence, Congresses, Abstract data types (Computer science), Algebraische Methode, Softwareentwicklung, Abstract data types (computer science)