Algebraic Methodology and Software Technology

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

Algebraic Methodology and Software Technology

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

Algebraic Methodology and Software Technology

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

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