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

著者

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

書誌事項

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

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA89131159
• ISBN:
  • 9783540799795
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin
• ページ数/冊数: xiii, 432 p.
• 大きさ: 24 cm
• 件名:
  • 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
• 親書誌ID:
  • BA00009279
• リンク:
  • springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=5140