Formal Aspects of Measurement

EISBN:9781447132059
PISBN:9783540197881
出版社:Springer London
出版类型:Proceedings
出版时间:1992
作者:Tim Denvir,Rosalind Herman,Robin W. Whitty
主题词:Mathematical Logic and Formal Languages,Software Engineering
语种:英语
所属数据库:SpringerLink电子图书
丛书题名:Workshops in Computing
相关推荐

Formal Aspects of Measurement

  • 作者:Tim Denvir,Rosalind Herman,Robin Whitty
  • EISBN:9781447132059
  • 出版社:Springer London
  • 出版时间:1992

Formal Aspects of Security

  • 作者:Ali E. Abdallah,Peter Ryan,Steve Schneider
  • EISBN:9783540409816
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003

Formal Aspects of Context

  • 作者:Pierre Bonzon,Marcos Cavalcanti,Rolf Nossum
  • EISBN:9789401593977
  • 出版社:Springer Netherlands
  • 出版时间:2000

Formal Aspects of Security

  • 作者:Ali E. Abdallah,Peter Ryan,Steve Schneider
  • EISBN:9783540409816
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003

Formal Aspects of Context

  • 作者:Pierre Bonzon,Marcos Cavalcanti,Rolf Nossum
  • EISBN:9789401593977
  • 出版社:Springer Netherlands
  • 出版时间:2000

Formal Aspects of Component Software

  • 作者:José Proença,Markus Lumpe
  • EISBN:9783319680347
  • 出版社:Springer International Publishing
  • 出版时间:2017