4th Refinement Workshop

EISBN:9781447137566
PISBN:9783540196570
出版社:Springer London
出版类型:Proceedings
出版时间:1991
作者:Joseph M. Morris,Roger C. Shaw
主题词:Mathematical Logic and Formal Languages,Software Engineering
语种:英语
所属数据库:SpringerLink电子图书
丛书题名:Workshops in Computing
相关推荐

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

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

6th Refinement Workshop

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

4th Neural Computation and Psychology Workshop, London, 9–11 April 1997

  • 作者:John A: Bullinaria,David W. Glasspool,George Houghton
  • EISBN:9781447115465
  • 出版社:Springer London
  • 出版时间:1998