5th Refinement Workshop

EISBN:9781447135500
PISBN:9783540197522
出版社:Springer London
出版类型:Proceedings
出版时间:1992
作者:Cliff B. Jones,Roger C. Shaw,Tim Denvir
主题词:Mathematical Logic and Formal Languages,Software Engineering
语种:英语
所属数据库:SpringerLink电子图书
丛书题名:Workshops in Computing
相关推荐

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

Proceedings of the 9th International Performance Analysis Workshop and Conference & 5th IACSS Conference

  • 作者:Arnold Baca;Juliana Exel;Martin Lames;Nic James;Nimai Parmar
  • EISBN:9783030993337
  • 出版社:Springer Nature
  • 出版时间:2022

6th Refinement Workshop

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

4th Refinement Workshop

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

6th Refinement Workshop

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