6th Refinement Workshop

EISBN:9781447132400
PISBN:9783540198864
出版社:Springer London
出版类型:Proceedings
出版时间:1994
作者:David Till
主题词:Mathematical Logic and Formal Languages
语种:英语
所属数据库:SpringerLink电子图书
丛书题名:Workshops in Computing
相关推荐

6th Refinement Workshop

  • 作者:David Till
  • EISBN:9781447132400
  • 出版社:Springer London
  • 出版时间:1994

5th Refinement Workshop

  • 作者:Cliff B. Jones,Roger C. Shaw,Tim Denvir
  • EISBN:9781447135500
  • 出版社:Springer London
  • 出版时间:1992

4th Refinement Workshop

  • 作者:Joseph M. Morris,Roger C. Shaw
  • EISBN:9781447137566
  • 出版社:Springer London
  • 出版时间:1991

4th Refinement Workshop

  • 作者:Joseph M. Morris,Roger C. Shaw
  • EISBN:9781447137566
  • 出版社:Springer London
  • 出版时间:1991

5th Refinement Workshop

  • 作者:Cliff B. Jones,Roger C. Shaw,Tim Denvir
  • EISBN:9781447135500
  • 出版社:Springer London
  • 出版时间:1992

Proceedings of the 6th International Workshop on Hydro Scheduling in Competitive Electricity Markets

  • 作者:Arild Helseth
  • EISBN:9783030033118
  • 出版社:Springer International Publishing
  • 出版时间:2019