Theoretical Aspects of Computer Software

EISBN:9783540483830
PISBN:9783540578871
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:1994
作者:Masami Hagiya,John C. Mitchell
主题词:Logics and Meanings of Programs,Programming Languages,Compilers,Interpreters,Software Engineering,Programming Techniques,Computation by Abstract Devices
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Theoretical Aspects of Computer Software

  • 作者:Takayasu Ito,Albert R. Meyer
  • EISBN:9783540476177
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1991

Theoretical Aspects of Computer Software

  • 作者:Martin Abadi,Takayasu Ito
  • EISBN:9783540695301
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997

Theoretical Aspects of Computer Software

  • 作者:Naoki Kobayashi,Benjamin C. Pierce
  • EISBN:9783540455004
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2001

Theoretical Aspects of Computer Software

  • 作者:Martín Abadi,Takayasu Ito
  • EISBN:9783540695301
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997

Theoretical Aspects of Computer Software

  • 作者:Masami Hagiya,John C. Mitchell
  • EISBN:9783540483830
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1994

Theoretical Aspects of Computer Software

  • 作者:Naoki Kobayashi,Benjamin C. Pierce
  • EISBN:9783540455004
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2001