Algebraic methodology and software technology : 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008 : proceedings

Author(s)

• International Conference on Algebraic Methodology and Software Technology
• Meseguer, José
• Roşu, Grigore

Bibliographic Information

Algebraic methodology and software technology : 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008 : proceedings

José Meseguer, Grigore Roşu (eds.)

（Lecture notes in computer science, 5140）

Springer, c2008

Note

Includes bibliographical references and index

Details

• NCID: BA89131159
• ISBN:
  • 9783540799795
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: xiii, 432 p.
• Size: 24 cm
• Subject Headings:
  • LCSH : Software engineering -- Congresses
  • LCSH : Abstract data types (Computer science) -- Congresses
  • FREE : Computer Science
  • FREE : Artificial Intelligence (incl. Robotics)
  • FREE : Logics and Meanings of Programs
  • FREE : Mathematical Logic and Formal Languages
  • FREE : Programming Techniques
  • FREE : Software Engineering
  • FREE : Symbolic and Algebraic Manipulation
  • LCSH : Electronic books
• Parent Bibliography ID:
  • BA00009279
• Link:
  • springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=5140