Algebraic Methodology and Software Technology

EISBN:9783540457190
PISBN:9783540441441
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2002
版次:2002
作者:Helene Kirchner,Christophe Ringeissen
主题词:Computer Science,Theory of Computation,Software Engineering,Programming and Operating Systems,Algebra,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Software Engineering
语种:英语
相关推荐

Algebraic Methodology and Software Technology

  • 作者:Michael Johnson,Dusko Pavlovic
  • EISBN:9783642177965
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2011

Algebraic Methodology and Software Technology

  • 作者:Teodor Rus
  • EISBN:9783540454991
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2000

Algebraic Methodology and Software Technology

  • 作者:Martin Wirsing,Maurice Nivat
  • EISBN:9783540685951
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1996

Algebraic Methodology and Software Technology

  • 作者:V.S. Alagar,Maurice Nivat
  • EISBN:9783540494102
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1995

Algebraic Methodology and Software Technology

  • 作者:José Meseguer,Grigore Roşu
  • EISBN:9783540799801
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2008

Algebraic Methodology and Software Technology

  • 作者:Martin Wirsing,Maurice Nivat
  • EISBN:9783540685951
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1996