Theory of Program Structures

EISBN:9783540379423
PISBN:9783540074151
出版社:Springer Berlin Heidelberg
出版类型:Monograph
出版时间:1975
版次:1975
作者:Sheila A. Greibach
主题词:Computer Science,Software Engineering,Logics and Meanings of Programs
语种:英语
相关推荐

Theory of Program Structures: Schemes, Semantics, Verification

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

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

Program Analysis and Compilation, Theory and Practice

  • 作者:Thomas Reps,Mooly Sagiv,Jörg Bauer
  • EISBN:9783540713227
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2007

A Connotational Theory of Program Structure

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