A Connotational Theory of Program Structure

EISBN:9783540478461
PISBN:9783540182535
出版社:Springer Berlin Heidelberg
出版类型:Monograph
出版时间:1987
作者:James S. Royer
主题词:Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages,Compilers,Interpreters,Mathematical Logic and Foundations
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

A Connotational Theory of Program Structure

  • 作者:James S. Royer
  • EISBN:9783540478461
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1987

A Theory and Practice of Program Development

  • 作者:Derek J. Andrews
  • EISBN:9781447109877
  • 出版社:Springer London
  • 出版时间:1997

A Theory and Practice of Program Development

  • 作者:Derek Andrews
  • EISBN:9781447109877
  • 出版社:Springer London
  • 出版时间:1997

Theory of Program Structures

  • 作者:Sheila A. Greibach
  • EISBN:9783540379423
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1975

A New Development at the Intersection of Nuclear Structure and Reaction Theory

  • 作者:Steven Karataglidis,Ken Amos,Paul R. Fraser,Luciano Canton
  • EISBN:9783030210700
  • 出版社:Springer International Publishing
  • 出版时间:2019