Program Construction

EISBN:9783540353126
PISBN:9783540092513
出版社:Springer Berlin Heidelberg
出版类型:Contributed volume
出版时间:1979
版次:1979
作者:F.L. Bauer,E.W. Dijkstra,S.L. Gerhart,D. Gries,M. Griffiths,J. V. Guttag,J. J. Horning,S. S. Owicki,C. Pair,H. Partsch,P. Pepper,M. Wirsing,H. Wössner,F.L. Bauer,M. Broy
主题词:Computer Science,Programming Techniques
语种:英语
相关推荐

Program Construction

  • 作者:Friedrich L. Bauer,Manfred Broy,E. W. Dijkstra,S. L. Gerhart,D. Gries,M. Griffiths,J. V. Guttag,J. J. Horning,S. S. Owicki,C. Pair,H. Partsch,P. Pepper,M. Wirsing,H. Wössner
  • EISBN:9783540353126
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1979

Mathematics of Program Construction

  • 作者:Roland Backhouse,Jose Nuno Oliveira
  • EISBN:9783540450252
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2000

Mathematics of Program Construction

  • 作者:Eerke A. Boiten,Bernhard Möller
  • EISBN:9783540454427
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2002

Mathematics of Program Construction

  • 作者:Johan Jeuring
  • EISBN:9783540693451
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1998

Mathematics of Program Construction

  • 作者:Ekaterina Komendantskaya
  • EISBN:9783031169120
  • 出版社:Springer Nature
  • 出版时间:2022

Mathematics of Program Construction

  • 作者:Johan Jeuring
  • EISBN:9783540693451
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1998