Program Design Calculi

EISBN:9783662028803
PISBN:9783540569435
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:1993
版次:1993
作者:Manfred Broy
主题词:Computer Science,Theory of Computation,Programming Techniques,Software Engineering
语种:英语
丛书题名:Nato ASI Subseries F:
相关推荐

Program Design Calculi

  • 作者:Manfred Broy
  • EISBN:9783662028803
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1993

Logic of Programming and Calculi of Discrete Design

  • 作者:Manfred Broy
  • EISBN:9783642873744
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1987

Logic of Programming and Calculi of Discrete Design

  • 作者:Manfred Broy
  • EISBN:9783642873744
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1987

Java Program Design

  • 作者:Edward Sciore
  • EISBN:9781484241431
  • 出版社:Apress
  • 出版时间:2019

Animated Program Design

  • 作者:Marco T. Morazán
  • EISBN:9783031043178
  • 出版社:Springer Nature
  • 出版时间:2022

JSP for Practical Program Design

  • 作者:Kay Dudman
  • EISBN:9781475725377
  • 出版社:Springer New York
  • 出版时间:1996