Algebraic Methodology and Software Technology

EISBN:9783540685951
PISBN:9783540614630
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:1996
版次:1996
作者:Martin Wirsing,Maurice Nivat
主题词:Computer Science,Theory of Computation,Software Engineering,Programming and Operating Systems,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Software Engineering,Special Purpose and Application-Based Systems
语种:英语
相关推荐

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

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

Algebraic Methodology and Software Technology

  • 作者:Charles Rattray,Savitri Maharaj,Carron Shankland
  • EISBN:9783540278153
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2004

Algebraic Methodology and Software Technology

  • 作者:Michael Johnson
  • EISBN:9783540696612
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997